Java to Kotlin converter: specify local variable type when necessary