Integrated: Merge jdk17

[Jesper Wilhelmsson]

On Thu, 15 Jul 2021 23:42:37 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 17 -> JDK 18

This pull request has now been integrated.

Changeset: 7240d678
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/7240d67868add94c97ca1d7ba372548cd76b8ffc
Stats:     29 lines in 1 file changed: 14 ins; 2 del; 13 mod

Merge

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

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