RFR: 7903917: Changes needed for jdk23-based makefile build [v3]

[Jorn Vernee]

On Mon, 6 Jan 2025 16:21:59 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote:

>> Changes necessary to bump the supported version to JDK 23.
>> Passes tier 1.
>> 
>> Note: This PR will not be integrated before https://github.com/openjdk/jextract/pull/264 as the removal of `--enable-preview` is needed.
>
> Nizar Benalla has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains three commits:
> 
>  - Merge remote-tracking branch 'upstream/master' into CODETOOLS-7903917
>    
>    # Conflicts:
>    #	make/Build.gmk
>  - remove --release flag
>  - CODETOOLS-7903917

Marked as reviewed by jvernee (Committer).

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

PR Review: https://git.openjdk.org/jextract/pull/265#pullrequestreview-2532507854