Integrated: Merge jdk19

[David Holmes]

On Sun, 14 Aug 2022 20:01:32 GMT, David Holmes <dholmes at openjdk.org> wrote:

> Forward port JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 77cd917a
Author:    David Holmes <dholmes at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/77cd917a97b184871ab2d3325ceb6c53afeca28b
Stats:     308 lines in 11 files changed: 53 ins; 232 del; 23 mod

Merge

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

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