Integrated: Merge jdk:master

[Jorn Vernee]

Manual merge of jdk/master into panama-foreign/master

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

Commit messages:
 - Merge branch 'jdk_master' into merge_jdk_master
 - Automatic merge of jdk:master into master
 - Automatic merge of jdk:master into master
 - Automatic merge of jdk:master into master
 - Automatic merge of jdk:master into master
 - Automatic merge of jdk:master into master
 - Automatic merge of jdk:master into master
 - Automatic merge of jdk:master into master
 - Automatic merge of jdk:master into master
 - Automatic merge of jdk:master into master
 - ... and 263 more: https://git.openjdk.java.net/panama-foreign/compare/47677580...7c85d407

The merge commit only contains trivial merges, so no merge-specific webrevs have been generated.

Changes: https://git.openjdk.java.net/panama-foreign/pull/544/files
  Stats: 3 lines in 1 file changed: 0 ins; 1 del; 2 mod
  Patch: https://git.openjdk.java.net/panama-foreign/pull/544.diff
  Fetch: git fetch https://git.openjdk.java.net/panama-foreign pull/544/head:pull/544

PR: https://git.openjdk.java.net/panama-foreign/pull/544