Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Sat, 16 Jul 2022 12:26:23 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 522b6574
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/522b65743ca10fcba0a27d25b8fa11319999e228
Stats:     68 lines in 7 files changed: 34 ins; 12 del; 22 mod

Merge

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

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