Integrated: Merge jdk20

[Jesper Wilhelmsson]

On Tue, 20 Dec 2022 19:41:28 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 386db071
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/386db07143883f85307138eca2f0305d997a2171
Stats:     258 lines in 8 files changed: 75 ins; 61 del; 122 mod

Merge

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

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