<@U7V1LUY64> the code is here <https://github.com/...

# getting-started

[Andreas Sinz]

@Jorrit the code is here https://github.com/Kotlin/kotlin-koans/blob/master/src/i_introduction/_1_Java_To_Kotlin_Converter/JavaCode1.java

[Jorrit]

Thanks!