Integrated: Merge jdk17

[Jesper Wilhelmsson]

On Tue, 27 Jul 2021 00:00:03 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: eb6da888
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/eb6da88817f7bc903a51130271c9a5de928c603d
Stats:     118 lines in 6 files changed: 103 ins; 4 del; 11 mod

Merge

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

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