Integrated: 8296710: Update to use jtreg 7.1

[Christian Stein]

On Tue, 29 Nov 2022 14:44:12 GMT, Christian Stein <cstein at openjdk.org> wrote:

> Please review the change to update to using jtreg `7.1`.
> 
> 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.
> 
> This pull request was created by copying the following and using `7.1` at appropriate places:
> - https://github.com/openjdk/jdk/pull/9393

This pull request has now been integrated.

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

8296710: Update to use jtreg 7.1

Reviewed-by: erikj, alanb, jjg

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

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