Integrated: Merge jdk19

Sat Jul 2 18:13:29 UTC 2022

On Sat, 2 Jul 2022 11:03:38 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 70f56933
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/70f5693356277c0685668219a79819707d099d9f
Stats:     382 lines in 14 files changed: 330 ins; 5 del; 47 mod

Merge

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

PR: https://git.openjdk.org/jdk/pull/9354