Integrated: Merge jdk

[Mikael Vidstedt]

On Fri, 10 Jul 2020 17:50:57 GMT, Mikael Vidstedt <mikael at openjdk.org> wrote:

> Merge in jdk-15+19

This pull request has now been integrated.

Changeset: 2331e1b2
Author:    Mikael Vidstedt <mikael at openjdk.org>
URL:       https://git.openjdk.java.net/portola/commit/2331e1b2
Stats:     971703 lines in 2885 files changed: 164230 ins; 792979 del; 14494 mod

Merge jdk

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

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