Integrated: 7903047: Make JUnit runner use the JUnit Platform Launcher

[Christian Stein]

On Sat, 23 Apr 2022 05:48:01 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

This pull request has now been integrated.

Changeset: 7b94214c
Author:    Christian Stein <cstein at openjdk.org>
Committer: Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jtreg/commit/7b94214c124da33e208b35571b52b39a03e5bc0a
Stats:     142 lines in 3 files changed: 132 ins; 1 del; 9 mod

7903047: Make JUnit runner use the JUnit Platform Launcher

Reviewed-by: jjg

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

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