Update miniJava.h