Integrated: Merge jdk20

[Jesper Wilhelmsson]

On Tue, 24 Jan 2023 21:38:18 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 81d523d3
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/81d523d382331a06ec57b302890ccd4d25fdd095
Stats:     376 lines in 6 files changed: 47 ins; 325 del; 4 mod

Merge

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

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