Translating Java to Kotlin at Scale