[infer][java] update the installation process to use javalib 2.3.1 and sawja 1.5.1

Summary:
Bumping up the version of the libraries javalib and sawja to 2.3.1 and 1.5.1 respectively in order to use the upstream fix about classnames with $$.

INSTALL.md

@@ -49,7 +49,7 @@ Install the OCaml dependencies:
 ```bash
 opam init --comp=4.01.0  # (answer 'y' to the question)
 eval `opam config env`
-opam install sawja.1.5 atdgen.1.6.0 javalib.2.3a extlib.1.5.4
+opam install extlib.1.5.4 atdgen.1.6.0 javalib.2.3.1 sawja.1.5.1
 ```
 
 If you do not require support for the C/Objective-C analysis in Infer,
@@ -93,7 +93,7 @@ wget https://github.com/ocaml/opam/releases/download/1.2.2/opam-1.2.2-x86_64-Lin
 chmod +x opam
 ./opam init --comp=4.01.0 #(then say 'y' to the final question)
 eval `./opam config env`
-./opam install sawja.1.5 atdgen.1.6.0 javalib.2.3a extlib.1.5.4 #(then say 'y' to the question)
+./opam install extlib.1.5.4 atdgen.1.6.0 javalib.2.3.1 sawja.1.5.1 #(then say 'y' to the question)
 ```
 
 If you do not require support for the C/Objective-C analysis in Infer,

infer/src/java/INSTALL

@@ -1,46 +0,0 @@
-
-This file contains the instructions to compile a version of Infer to verify
-Java programs.
-
-In order to avoid problems with some dependencies that may occur at compile time,
-it is best to use the OCaml Batteries Included distribution.
-
-Step 1) Install Javalib and Sawja with the following the instruction:
-
-a) install libzip-dev:
-
-	On ubuntu, install: libzip-ocaml-dev
-
-b) first install javalib by going to:
-
-  	 dependencies/javalib-2.2.2
-
-  and run
-    ./configure.sh
-
-  and follow the instructions. 
-
-c) install Sawja:
-
-  go to
-
-	dependencies/sawja-1.4
-
-  and then:
-
-	./configure.sh
-  	 make && sudo make install
-
-Step 2) InferJava can now be compiled by going to the directory:
-	
-	infer/java
-
- and typing:
-
-	make
-
-This will automatically compile the InferJava binary and move it to
-
-	infer/bin
-
-Note that folder with the binary should be added to PATH

opam

@@ -12,9 +12,9 @@ install: []
 remove: []
 depends: [
   "ocamlfind" {build}
-  "sawja" {>="1.5"}
+  "sawja" {>="1.5.1"}
   "atdgen" {>="1.6"}
-  "javalib" {>="2.3"}
+  "javalib" {>="2.3.1"}
   "extlib" {>="1.5.4"}
 ]
 depexts: [