flush             792 ompi/mpi/java/java/Win.java 	public void flush(int targetRank) throws MPIException
flush             798 ompi/mpi/java/java/Win.java 	private native void flush(long win, int targetRank) throws MPIException;