Integrated: Merge jdk16

[Jesper Wilhelmsson]

On Thu, 24 Dec 2020 07:23:41 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 16 -> JDK 17

This pull request has now been integrated.

Changeset: 57217b58
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/57217b58
Stats:     74 lines in 6 files changed: 68 ins; 0 del; 6 mod

Merge

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

PR: https://git.openjdk.java.net/jdk/pull/1887