Integrated: Merge jdk19

[David Holmes]

On Wed, 27 Jul 2022 12:59:36 GMT, David Holmes <dholmes at openjdk.org> wrote:

> Forward port JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 92346246
Author:    David Holmes <dholmes at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/923462467e52eda359249a4fb61d654f56182603
Stats:     134 lines in 4 files changed: 67 ins; 52 del; 15 mod

Merge

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

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