Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Fri, 10 Jun 2022 15:55:54 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: fa564e9d
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/fa564e9d5826218e4a9b8a66de92944d24a2c9fa
Stats:     4 lines in 2 files changed: 3 ins; 0 del; 1 mod

Merge

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

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