Integrated: Merge jdk20

[Jesper Wilhelmsson]

On Mon, 30 Jan 2023 19:26:27 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 561a25e0
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/561a25e0250fde55eb0af7beb5dc064ef8321f9e
Stats:     184 lines in 2 files changed: 183 ins; 0 del; 1 mod

Merge

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

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