Fixes #9613: On Ubuntu 16.04, openjdk 9 is installed by default, and not recognized as a compatible version
Fixes #9613: On Ubuntu 16.04, openjdk 9 is installed by default, and not recognized as a compatible version