config/opal_setup_java.m4: Fix #5015. #5160
Merged
jsquyres merged 1 commit intoopen-mpi:masterfrom May 9, 2018
RandomDSdevel:fix-5015
Merged
config/opal_setup_java.m4: Fix #5015. #5160jsquyres merged 1 commit intoopen-mpi:masterfrom RandomDSdevel:fix-5015
jsquyres merged 1 commit intoopen-mpi:masterfrom
RandomDSdevel:fix-5015