Integrated: Merge jdk19

Tue Jun 21 22:31:21 UTC 2022

On Tue, 21 Jun 2022 21:47:17 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 2bf5c9a6
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/2bf5c9a6877b51377a535c6021a9e38549c89029
Stats:     363 lines in 31 files changed: 197 ins; 103 del; 63 mod

Merge

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

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