Integrated: Merge jdk17

[Jesper Wilhelmsson]

On Wed, 4 Aug 2021 22:55:08 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: cd6b54ec
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/cd6b54ec40f1d60fbdb6c8aee1e6ba662daca58c
Stats:     5 lines in 2 files changed: 3 ins; 1 del; 1 mod

Merge

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

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