Integrated: Merge jdk19

[David Holmes]

On Thu, 11 Aug 2022 00:06:35 GMT, David Holmes <dholmes at openjdk.org> wrote:

> Forward port JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 85a60235
Author:    David Holmes <dholmes at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/85a602355ff6e92bb468135d712e0b0b41753db4
Stats:     686 lines in 44 files changed: 89 ins; 540 del; 57 mod

Merge

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

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