fix ocamljava version