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

[Jonathan Gibbons]

On Sat, 23 Apr 2022 12:34:16 GMT, Christian Stein <cstein at openjdk.org> wrote:

>> Make JUnit runner use the JUnit Platform Launcher
>> 
>> See https://bugs.openjdk.java.net/browse/CODETOOLS-7903047
>
> Christian Stein has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Remove JUnit Trace test from set of initial tests

Changes requested by jjg (Lead).

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.

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

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