Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Fri, 17 Jun 2022 12:16:32 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: af64d316
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/af64d316c0f687c4ceab7591e050449c64e3babc
Stats:     50 lines in 14 files changed: 25 ins; 3 del; 22 mod

Merge

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

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