Integrated: Merge jdk20

[Jesper Wilhelmsson]

On Thu, 9 Feb 2023 07:43:28 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: af8973dc
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/af8973dc509c1f326223e3ffd1773c9e930141d8
Stats:     69 lines in 3 files changed: 50 ins; 9 del; 10 mod

Merge

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

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