Latte (a Java subset) compiler with JVM output