Integrated: Merge jdk20

Fri Dec 9 22:03:09 UTC 2022

On Fri, 9 Dec 2022 18:45:40 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 715bf704
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/715bf7045968e341182e61343651f464a437f83f
Stats:     262 lines in 13 files changed: 250 ins; 1 del; 11 mod

Merge

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

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