[17u]: Upgrade to jtreg 7.2 and enforce it

[Aleksey Shipilev]

Hi Goetz,

On 11.07.23 14:01, Lindenmaier, Goetz wrote:
> I would like to propose to update jtreg to be at least
> version 7.2.
> Using latest jtreg makes testing jdk17 future-proof.

I am good with this plan.

Thank you for doing this!

-- 
-Aleksey



Amazon Development Center Germany GmbH
Krausenstr. 38
10117 Berlin
Geschaeftsfuehrung: Christian Schlaeger, Jonathan Weiss
Eingetragen am Amtsgericht Charlottenburg unter HRB 149173 B
Sitz: Berlin
Ust-ID: DE 289 237 879