Integrated: Merge jdk20

Wed Mar 22 14:53:42 UTC 2023

On Wed, 22 Mar 2023 14:37:19 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR merges the contents of `jdk20` into `master`. This means that JDK 20 will now become the "default" (and will be used as a basis for generation of binary snapshots).

Marked as reviewed by jvernee (Committer).

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

PR Review: https://git.openjdk.org/jextract/pull/115#pullrequestreview-1352768222