Integrated: Merge jdk

Mon Jul 13 20:44:49 UTC 2020

On Mon, 13 Jul 2020 20:20:55 GMT, Mikael Vidstedt <mikael at openjdk.org> wrote:

> Merge in jdk-16+5

This pull request has now been integrated.

Changeset: 45171054
Author:    Mikael Vidstedt <mikael at openjdk.org>
URL:       https://git.openjdk.java.net/portola/commit/45171054
Stats:     48193 lines in 1319 files changed: 14900 ins; 28232 del; 5061 mod

Merge jdk

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

PR: https://git.openjdk.java.net/portola/pull/9