RFR: 7903047: Make JUnit runner use the JUnit Platform Launcher [v9]

[Jonathan Gibbons]

On Mon, 25 Apr 2022 14:46:22 GMT, Christian Stein <cstein at openjdk.org> wrote:

>> make/Defs.gmk line 114:
>> 
>>> 112: JAR = $(JDKHOME)/bin/jar
>>> 113: 
>>> 114: AGENT_JAVAC_SOURCE_TARGET = --release 11
>> 
>> No. The use of 8 is deliberate, so that we can run use jtreg to test older versions of JDK.
>
> OK. Reverting to `--release 8` and replacing all `var` usages with explicit type references.

Maybe prefix the line with a comment of the form:

// Specify oldest supported JDK version that can be tested

-------------

PR: https://git.openjdk.java.net/jtreg/pull/78