Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Mon, 18 Jul 2022 21:30:55 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 6cd1c0c1
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/6cd1c0c14e7c9f9e8f77b32adcb792556645c0ac
Stats:     175 lines in 4 files changed: 171 ins; 0 del; 4 mod

Merge

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

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