Integrated: Merge jdk19

[David Holmes]

On Wed, 3 Aug 2022 05:10:51 GMT, David Holmes <dholmes at openjdk.org> wrote:

> Forward port JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 0971d346
Author:    David Holmes <dholmes at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/0971d3464609bf4124df460ea73ff761d7e0f7b2
Stats:     33 lines in 6 files changed: 6 ins; 9 del; 18 mod

Merge

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

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