A modern programming language that compiles to Java bytecode