Java to Kotlin converter: converting usages of Kotlin properties from Java