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

Tue Apr 26 20:07:05 UTC 2022

On Mon, 25 Apr 2022 15:52:24 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:
> 
>   Add support for `runWithJUnit4` flag

Dummy comment to trigger bots.

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

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