ML to Java compiler