jtreg 7.1.1 is here

[Christian Stein]

The integration of jtreg 7.1.1 just happened via

https://github.com/openjdk/jdk/commit/2cdc0195655317cb0b04f76fd8dce5e40bf52774

This is a bug-fix release that contains a fix for https://bugs.openjdk.org/browse/CODETOOLS-7903390 introduced by last week's 7.1 release.

________________________________________
From: Christian Stein <christian.s.stein at oracle.com>
Sent: Thursday, December 1, 2022 18:02
To: jdk-dev at openjdk.org
Subject: jtreg 7.1 is here - was: Coming soon: jtreg 7.1

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