Coming soon: jtreg 7.1

This is a general heads-up that jtreg 7.1 is ready for use and that we should soon update #JDK to use it.

https://mail.openjdk.org/pipermail/jdk-dev/2022-November/007204.html

#Java #OpenJDK #JDK20