Add description of OCaml-Java paper.