Update ter_struc_java.ml