Integrated: Merge jdk19

[David Holmes]

On Thu, 4 Aug 2022 07:03:25 GMT, David Holmes <dholmes at openjdk.org> wrote:

> Forward port JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 34939731
Author:    David Holmes <dholmes at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/349397318687fdb7be8f50f02b536e49bffdd92f
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

Merge

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

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