Java to Kotlin converter: converting usages of Kotlin global and extension functions and properties