RFR: 7904085: Changes needed for jdk25-based makefile build

[duke]

On Wed, 24 Sep 2025 14:13:24 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote:

> A simple version change, since JDK 25 was released.

@nizarbenalla 
Your change (at version 9a98460e5279b0571ba644955d539ef46cef7e82) is now ready to be sponsored by a Committer.

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

PR Comment: https://git.openjdk.org/jextract/pull/291#issuecomment-3334237957