Integrated: Merge jdk19

[David Holmes]

On Fri, 5 Aug 2022 22:29:00 GMT, David Holmes <dholmes at openjdk.org> wrote:

> Forward port JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 87cda21c
Author:    David Holmes <dholmes at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/87cda21c5d85f6e6f628849b8670e2ecb4e105dd
Stats:     99 lines in 2 files changed: 78 ins; 0 del; 21 mod

Merge

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

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