Integrated: Merge jdk17

[Jesper Wilhelmsson]

On Thu, 29 Jul 2021 21:05:31 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: 048fb2cb
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/048fb2cb179234c403ee01ddc4acbdc4795c08ee
Stats:     4 lines in 1 file changed: 0 ins; 0 del; 4 mod

Merge

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

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