Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Wed, 22 Jun 2022 21:25:07 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 5b583e47
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/5b583e4792b1d59891495a4a050fcdd4d38dfee1
Stats:     434 lines in 12 files changed: 379 ins; 22 del; 33 mod

Merge

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

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