Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Wed, 13 Jul 2022 12:15:55 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: a7f83582
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/a7f83582d323b0dc39abc0b2114144206183af45
Stats:     120 lines in 9 files changed: 59 ins; 3 del; 58 mod

Merge

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

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