Integrated: Merge jdk17

Sat Jul 24 01:11:08 UTC 2021

On Fri, 23 Jul 2021 22:24:14 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: 0dcfc42f
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/0dcfc42f230a4958c9349f4145093c5b02e06ad4
Stats:     29 lines in 3 files changed: 18 ins; 3 del; 8 mod

Merge

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

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