Integrated: Merge jdk

[Mikael Vidstedt]

On Fri, 10 Jul 2020 22:20:37 GMT, Mikael Vidstedt <mikael at openjdk.org> wrote:

> Merge in jdk-15+23

This pull request has now been integrated.

Changeset: f394b714
Author:    Mikael Vidstedt <mikael at openjdk.org>
URL:       https://git.openjdk.java.net/portola/commit/f394b714
Stats:     869323 lines in 6736 files changed: 796459 ins; 55951 del; 16913 mod

Merge jdk

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

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