Integrated: Merge jdk17

Wed Jul 14 01:10:29 UTC 2021

On Wed, 14 Jul 2021 00:13:41 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: 4a7ccf36
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/4a7ccf36e9a3978c437db3efe892dd23e8a0b772
Stats:     388 lines in 13 files changed: 322 ins; 18 del; 48 mod

Merge

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

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