Update ter_make_java.ml