Merge tag 'jdk-20-ga' of https://github.com/openjdk/jdk into jdk-20

Merge tag 'jdk-20-ga' of https://github.com/openjdk/jdk into jdk-20 #2