Integrated: Merge jdk

[Mikael Vidstedt]

On Sun, 12 Jul 2020 04:29:49 GMT, Mikael Vidstedt <mikael at openjdk.org> wrote:

> Merge in jdk-15+31

This pull request has now been integrated.

Changeset: 0b2dbf5c
Author:    Mikael Vidstedt <mikael at openjdk.org>
URL:       https://git.openjdk.java.net/portola/commit/0b2dbf5c
Stats:     11668 lines in 356 files changed: 3490 ins; 7137 del; 1041 mod

Merge jdk

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

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