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

[Christian Stein]

On Thu, 28 Apr 2022 13:44:40 GMT, Christian Stein <cstein at openjdk.org> wrote:

>> Dummy comment to trigger bots.
>
> Did bots what bots had to do?

Ah, now bot removed the `ready` label. Good bot!

![image](https://user-images.githubusercontent.com/2319838/165772472-1d5a868b-977b-48e3-b8bc-476ef4ae14c9.png)

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

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