Draft: testing/java-jtreg: upgrade to 7.1+1
This MR upgrades java-jtreg to the latest release.
https://github.com/openjdk/jtreg/releases/tag/jtreg-7.1%2B1
Depnds on: !42085 (merged) and !42086 (merged)
Edited by Simon F
This MR upgrades java-jtreg to the latest release.
https://github.com/openjdk/jtreg/releases/tag/jtreg-7.1%2B1
Depnds on: !42085 (merged) and !42086 (merged)