RFR: 7903928: update build.gradle to use JDK 23 [v3]

[Maurizio Cimadamore]

On Thu, 9 Jan 2025 21:20:35 GMT, Chen Liang <liach at openjdk.org> wrote:

>> Athijegannathan Sundararajan has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   missed jdk23_home in test line
>
> build.gradle line 32:
> 
>> 30: 
>> 31: def llvm_home = project.property("llvm_home")
>> 32: def jdk_home = project.property("jdk23_home")
> 
> We should rename this property simply to `jdk_home`.

I agree. Especially now that we only have one "master" (tip) version.

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

PR Review Comment: https://git.openjdk.org/jextract/pull/271#discussion_r1916221595