Integrated: Merge jdk19

Thu Jul 14 16:34:10 UTC 2022

On Thu, 14 Jul 2022 13:02:21 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 3ad39505
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/3ad39505605f8eab74adec9c68f211dd44796759
Stats:     242 lines in 11 files changed: 232 ins; 2 del; 8 mod

Merge

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

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