doubleInt         112 ompi/mpi/java/java/MPI.java 	public static final DoubleInt doubleInt;
doubleInt         232 ompi/mpi/java/java/MPI.java 		doubleInt = newDoubleInt();