Integrated: Merge jdk19

[Jesper Wilhelmsson]

On Mon, 20 Jun 2022 18:20:21 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 7039c661
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/7039c6616ad1b67320f08e7ea4763e8ff4977430
Stats:     752 lines in 36 files changed: 538 ins; 58 del; 156 mod

Merge

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

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