Integrated: Merge jdk

[Mikael Vidstedt]

On Fri, 3 Jul 2020 06:42:42 GMT, Mikael Vidstedt <mikael at openjdk.org> wrote:

> Merge in jdk-15+14

This pull request has now been integrated.

Changeset: 8973e522
Author:    Mikael Vidstedt <mikael at openjdk.org>
URL:       https://git.openjdk.java.net/portola/commit/8973e522
Stats:     57365 lines in 1365 files changed: 17287 ins; 33879 del; 6199 mod

Merge jdk

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

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