Integrated: Merge jdk17

Fri Jul 2 20:53:56 UTC 2021

On Fri, 2 Jul 2021 19:34:35 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: 17f53f2f
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/17f53f2f9c5928395eff9186160924e9a8e9a794
Stats:     341 lines in 12 files changed: 266 ins; 34 del; 41 mod

Merge

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

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