Integrated: Merge jdk20

[Jesper Wilhelmsson]

On Mon, 9 Jan 2023 22:22:11 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 4395578b
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/4395578b6f0432d158c4b6c0c0a9d0838f74baa8
Stats:     48 lines in 4 files changed: 24 ins; 7 del; 17 mod

Merge

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

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