RFR: 8304896: Update to use jtreg 7.2

[Jonathan Gibbons]

On Tue, 18 Apr 2023 12:08:50 GMT, Andrey Turbanov <aturbanov at openjdk.org> wrote:

> Interesting, why this JBS ticked is considered as a bug?

There's no obvious best choice here (bug, enhancement, task) and as is, it was the same as for similar previous items.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/13496#issuecomment-1513340471