Integrated: 8313167: Update to use jtreg 7.3

Mon Aug 7 16:12:43 UTC 2023

On Wed, 26 Jul 2023 09:06:19 GMT, Christian Stein <cstein at openjdk.org> wrote:

> Please review the change to update to using jtreg 7.3.
> 
> 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.
> 
> Testing: tier1-tier3 (tier4 and tier5 pending...)

This pull request has now been integrated.

Changeset: 9c6eb67e
Author:    Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/9c6eb67e85e35b3b40c258891789bd3e757a0c17
Stats:     11 lines in 8 files changed: 0 ins; 0 del; 11 mod

8313167: Update to use jtreg 7.3

Reviewed-by: jjg, iris

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

PR: https://git.openjdk.org/jdk/pull/15037