Integrated: Merge jdk20

[Jesper Wilhelmsson]

On Wed, 14 Dec 2022 22:39:44 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 10bc86cc
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/10bc86cc260fac48bf10f67dd56aa73c6954f026
Stats:     132 lines in 20 files changed: 0 ins; 0 del; 132 mod

Merge

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

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