Integrated: Merge jdk19

Fri Jul 8 02:11:29 UTC 2022

On Thu, 7 Jul 2022 22:31:27 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 01b9f95c
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/01b9f95c62953e7f9ca10eafd42d21c634413827
Stats:     807 lines in 28 files changed: 669 ins; 52 del; 86 mod

Merge

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

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