Upgrade tip Java version to 25

We shouldn't need a separate install for Gradle anymore.

Author: wojciech-adaptive

.github/workflows/ci.yml

@@ -19,7 +19,6 @@ concurrency:
 
 env:
   GRADLE_OPTS: "-Dorg.gradle.daemon=false -Dfix.core.debug=STATE_CLEANUP -Dfix.core.ci=true"
-  JAVA_VERSION: '17'
 permissions:
   contents: read
 
@@ -31,7 +30,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        java: [ '17', '21' ]
+        java: [ '17', '25' ]
         os: [ 'ubuntu-24.04', 'windows-latest' ]
     steps:
       - name: Checkout code
@@ -48,11 +47,6 @@ jobs:
           java -Xinternalversion
           echo "BUILD_JAVA_HOME=${JAVA_HOME}" >> $GITHUB_ENV
           echo "BUILD_JAVA_VERSION=${{ matrix.java }}" >> $GITHUB_ENV
-      - name: Setup java 17 to run the Gradle script
-        uses: actions/setup-java@v5
-        with:
-          distribution: 'zulu'
-          java-version: ${{ env.JAVA_VERSION }}
       - name: Setup Gradle
         uses: gradle/actions/setup-gradle@v5
       - name: Build with Gradle