Integrated: Merge jdk17

Fri Jul 23 01:44:14 UTC 2021

On Fri, 23 Jul 2021 00:28:53 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: 9935440e
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/9935440eded25b041ea3e73cfa8ac0d95bbd66c6
Stats:     268 lines in 20 files changed: 178 ins; 43 del; 47 mod

Merge

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

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