use ocaml-java to provide some program analysis interface.