Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Mon, 27 Jun 2022 11:49:07 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: d4b040f4
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/d4b040f42dd0a9100ad1ffa55de4ae4f20e9f182
Stats:     366 lines in 24 files changed: 274 ins; 41 del; 51 mod

Merge

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

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