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