Integrated: Merge jdk18

Fri Feb 4 14:51:10 UTC 2022

On Fri, 4 Feb 2022 13:38:52 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 18 -> JDK 19

This pull request has now been integrated.

Changeset: 7207f2a3
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/7207f2a3b59c684d9d51d378257629729fa7041d
Stats:     2 lines in 1 file changed: 0 ins; 0 del; 2 mod

Merge

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

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