Integrated: Merge jdk19

Fri Jul 1 00:52:48 UTC 2022

On Thu, 30 Jun 2022 23:50:57 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

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

Merge

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

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