Coming soon: jtreg 7.5.1

[Christian Stein]

JDK folk,

This is a general heads-up that jtreg 7.5.1 is ready for use and
that we should soon update JDK to use it. The most significant
change in jtreg 7.5.1 is the removal of the `LIBRARY.properties`
feature. It also contains a few new features and some bug fixes.

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

The plan is to make jtreg 7.5.1 the default version for JDK 25-ea
starting mid February 2025.

Thanks to everyone who has helped thus far!

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