Java to Kotlin converter: special conversion of some Collections methods