RFR: 8304896: Update to use jtreg 7.2

Tue Apr 18 16:42:13 UTC 2023

On Mon, 17 Apr 2023 14:56:16 GMT, Christian Stein <cstein at openjdk.org> wrote:

> Please review the change to update to using jtreg 7.2.
> 
> The primary change is to the `jib-profiles.js` file, which specifies the version of jtreg to use, for those systems that rely on this file. In addition, the requiredVersion has been updated in the various `TEST.ROOT` files.

7.1 was an enhancement https://bugs.openjdk.org/browse/JDK-8296710
7.1.1 update was a bug because of https://bugs.openjdk.org/browse/CODETOOLS-7903390
I think enhancement suits better here.

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

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