Pushing minijava.jj