Integrated: Merge jdk22

[Jorn Vernee]

On Tue, 13 Feb 2024 17:42:46 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> Merge JDK 22 branch into the master branch. The master will move to targeting jdk22

This pull request has now been integrated.

Changeset: 5bc0deb3
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/5bc0deb3f97c388c9448ed875f024282549b52ec
Stats:     24639 lines in 344 files changed: 11669 ins; 8343 del; 4627 mod

Merge

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

PR: https://git.openjdk.org/jextract/pull/208