K 10
svn:author
V 6
glewis
K 8
svn:date
V 27
2019-07-31T16:06:31.452010Z
K 7
svn:log
V 315
Support newer Java versions

* Add configuration for newer versions of the JDK (11, 12)
* Switch to modern Java versioning (e.g. 8 rather than 1.8)
* Retain backwards compatibility with existing version specification
* Support the few ports that set USE_JAVA to the requested version

PR:		237054, 238758 (exp-run)

END