Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Mon, 13 Jun 2022 22:34:49 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 19043538
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/19043538e100f3646802c2f571dd9c5c67e7f90d
Stats:     72 lines in 5 files changed: 13 ins; 39 del; 20 mod

Merge

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

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