open-mpi/ompi-release — pull request #115 by rhc54 (2014-12-12 16:29:57+00:00)
Title: Don't install the Java shmem tools if we aren't building Java support.

Thanks to Paul Hargrove for noticing.

Taken from open-mpi/ompi@064a241145d7384ca8d759c5ef41261d0f242e94

@jsquyres please comment