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)