jtreg 7.1 is here - was: Coming soon: jtreg 7.1

[Christian Stein]

The integration of jtreg 7.1 just happened via

https://github.com/openjdk/jdk/commit/c70d1e1bd32c71e0d2df635bc565201a09084a83

Happy testing!

________________________________________
From: Christian Stein
Sent: Thursday, November 17, 2022 17:55
To: jdk-dev at openjdk.org
Subject: Coming soon: jtreg 7.1

JDK folk,

This is a general heads-up that jtreg 7.1 is ready for use and
that we should soon update JDK to use it. There are not many
changes to the jtreg tool itself; the most significant change
in jtreg 7.1 are bug fixes and improvements in how JUnit tests
are reporting their progress.

Find a listing of noteworthy changes at [1].

Note that starting with version 7 [2], jtreg is compiled with
JDK 11 and so requires a recent release of JDK 11 to run it.

The plan is to create a PR fo "JDK-8296710: Update to use
jtreg 7.1" [3] and integrate it in last week of November 2022.

Finally, thanks to everyone who has helped thus far!

[1] https://github.com/openjdk/jtreg/blob/master/CHANGELOG.md
[2] https://mail.openjdk.org/pipermail/jdk-dev/2022-August/006869.html
[3] https://bugs.openjdk.org/browse/JDK-8296710