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.
------------- Commit messages: - JDK-8304896: Updated to use jtreg 7.2 - JDK-8304896: Back to use build number 1 - JDK-8304896: Use CI build number - JDK-8304896: Update to use jtreg 7.2 Changes: https://git.openjdk.org/jdk/pull/13496/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=13496&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8304896 Stats: 9 lines in 8 files changed: 0 ins; 0 del; 9 mod Patch: https://git.openjdk.org/jdk/pull/13496.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/13496/head:pull/13496 PR: https://git.openjdk.org/jdk/pull/13496