Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Tue, 28 Jun 2022 21:13:05 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 86dc760f
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/86dc760f9ec0f403109bef7b06db82b9ed0739dd
Stats:     821 lines in 29 files changed: 612 ins; 71 del; 138 mod

Merge

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

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