no, you can use `@get:JvmName` on a property direc...
# getting-started
y
no, you can use
@get:JvmName
on a property directly, without writing the getter explicitly