Integrated: Merge jdk16

[Jesper Wilhelmsson]

On Thu, 17 Dec 2020 02:48:38 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Merge JDK 16 -> JDK 17

This pull request has now been integrated.

Changeset: 11bd7a81
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/11bd7a81
Stats:     882 lines in 41 files changed: 659 ins; 30 del; 193 mod

Merge

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

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