Integrated: Merge jdk:master

[Jorn Vernee]

Manual merge of jdk:master into master to pull in some of the changes from Friday afternoon, namely: https://github.com/openjdk/jdk/commit/8065233e8b8976929e1975c9a74cf70bf3485ae2

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

Commit messages:
 - Merge branch 'jdk_master' into Merge_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 193 more: https://git.openjdk.org/panama-foreign/compare/99de9bb8...41fd747e

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

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

PR: https://git.openjdk.org/panama-foreign/pull/912