Update genjava.ml