Description
Running dev/run-tests fails when the local Java version has an extra string appended to the version.
For example, in Debian Stretch (currently testing distribution), java -version yields "1.8.0_66-internal" where the extra part "-internal" causes the script to fail.