Coming soon: jtreg 7.5

[Christian Stein]

JDK folk,

This is a general heads-up that jtreg 7.5 is ready for use and
that we should soon update JDK to use it. The most significant
changes in jtreg 7.5 are the restoration of the jtdiff tool and
new support for a LIBRARY.properties file in the directory
specified in the @library tag of tests. We also updated jtreg to
include JUnit 5.11.0

Find a listing of all noteworthy changes at [1].

The plan is to make jtreg 7.5 the default version for JDK 24-ea
starting November 2024.

Thanks to everyone who has helped thus far!

[1] https://github.com/openjdk/jtreg/blob/jtreg-7.5+1/CHANGELOG.md