open-mpi 1.8.3: Add option --with-java

Pass --disable-java to configure unless --with-java is specified.