Integrated: Merge jdk20

Wed Dec 21 23:53:56 UTC 2022

On Wed, 21 Dec 2022 23:18:08 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 34cdda5b
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/34cdda5b8359cce33c2d4f92a41a620aea4f96e7
Stats:     16 lines in 9 files changed: 4 ins; 0 del; 12 mod

Merge

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

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