Integrated: Merge jdk17

[Jesper Wilhelmsson]

On Fri, 30 Jul 2021 21:41:20 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: 7cc1eb3e
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/7cc1eb3e571e00f1cbfd62eb843df96ba8e88199
Stats:     63 lines in 4 files changed: 61 ins; 0 del; 2 mod

Merge

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

PR: https://git.openjdk.java.net/jdk/pull/4950