Added some more comments in minijava1.0.jj