Integrated: Merge jdk20

[Jesper Wilhelmsson]

On Thu, 19 Jan 2023 20:42:26 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: dfcd65c2
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/dfcd65c2719cae19d41caf25f9aa0691568247e8
Stats:     45 lines in 6 files changed: 40 ins; 0 del; 5 mod

Merge

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

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