Integrated: Merge jdk17

[Jesper Wilhelmsson]

On Wed, 28 Jul 2021 23:58:29 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: a0504cff
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/a0504cff9f91617fb9810333f3656dba196218d6
Stats:     43 lines in 10 files changed: 28 ins; 7 del; 8 mod

Merge

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

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