Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Tue, 19 Jul 2022 16:41:54 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: a3e07d95
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/a3e07d950ae752daf779607693c422a4c35924a6
Stats:     510 lines in 10 files changed: 437 ins; 0 del; 73 mod

Merge

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

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