A minijava compiler