Why Java is bad and how Kotlin fixes it