Integrated: Merge jdk20

[Jesper Wilhelmsson]

On Fri, 16 Dec 2022 13:25:55 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 3696711e
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/3696711efa566fb776d6923da86e17b0e1e22964
Stats:     250 lines in 15 files changed: 180 ins; 52 del; 18 mod

Merge

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

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