programming language whose main compiler produces Java bytecode that runs in the Java virtual machine