RFR: Merge jdk19

[David Holmes]

Forward port JDK 19 -> JDK 20

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

Commit messages:
 - Merge remote-tracking branch 'jdk19/master' into Merge_jdk19
 - 8291512: Snippetize modules API examples

The webrevs contain the adjustments done while merging with regards to each parent branch:
 - master: https://webrevs.openjdk.org/?repo=jdk&pr=9692&range=00.0
 - jdk19: https://webrevs.openjdk.org/?repo=jdk&pr=9692&range=00.1

Changes: https://git.openjdk.org/jdk/pull/9692/files
  Stats: 23 lines in 4 files changed: 2 ins; 9 del; 12 mod
  Patch: https://git.openjdk.org/jdk/pull/9692.diff
  Fetch: git fetch https://git.openjdk.org/jdk pull/9692/head:pull/9692

PR: https://git.openjdk.org/jdk/pull/9692