hastebrot
// User.java interface User { String getName() } // ConcreteUser.kt data class ConcreteUser(val name0: String) { override fun getName() = name0 }