[lworld] RFR: Merge openjdk/jdk:master

[David Simms]

On Wed, 8 Apr 2020 12:06:00 GMT, David Simms <dsimms at openjdk.org> wrote:

> Merge jdk-15+16 from master

/integrate

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

PR: https://git.openjdk.java.net/valhalla/pull/15