Interesting. Just tried the `@get:JvmName` - that ...

# announcements

[Michael]

Interesting. Just tried the @get:JvmName - that definitely gave me getters and setters of the right names from the java side.