A Java compiler