Integrated: Merge jdk17

Tue Jul 13 10:54:07 UTC 2021

On Mon, 12 Jul 2021 23:12:29 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: 6b123b05
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/6b123b059136b0c1efa62a23824b9aa253e6a519
Stats:     39 lines in 7 files changed: 33 ins; 2 del; 4 mod

Merge

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

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