Use JDK 25 to build on GitHub Actions (#630)

Author: marcphilipp

.github/workflows/build-all-examples.yml

@@ -17,11 +17,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
-      - name: 'Set up JDK 24'
+      - name: 'Set up JDK 25'
         uses: actions/setup-java@dded0888837ed1f317902acf8a20df0ad188d165 # v5.0.0
         with:
-          java-version: 24
-          distribution: temurin
+          java-version: 25
+          distribution: liberica
       - uses: sbt/setup-sbt@17575ea4e18dd928fe5968dbe32294b97923d65b # v1.1.13
       - name: 'Build all examples'
         run: java src/Builder.java

.github/workflows/codeql.yml

@@ -25,11 +25,11 @@ jobs:
             build-mode: manual
     steps:
       - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
-      - name: 'Set up JDK 24'
+      - name: 'Set up JDK 25'
         uses: actions/setup-java@dded0888837ed1f317902acf8a20df0ad188d165 # v5.0.0
         with:
-          java-version: 24
-          distribution: temurin
+          java-version: 25
+          distribution: liberica
       - uses: sbt/setup-sbt@17575ea4e18dd928fe5968dbe32294b97923d65b # v1.1.13
       - name: Initialize CodeQL
         uses: github/codeql-action/init@192325c86100d080feab897ff886c34abd4c83a3 # v3.30.3