Update Java version in Github workflows to 25

Author: culka

.github/workflows/codeql.yml

@@ -22,4 +22,4 @@ jobs:
     with:
       languages: '["actions", "java-kotlin"]'
       java_build_command: "cp profiles/dev/config.properties profiles/dev/config.runner.properties && mvn clean install -DskipTests"
-      java_version: "17"
+      java_version: "25"

.github/workflows/run-kotlin-tests.yml

@@ -24,10 +24,10 @@ jobs:
       - name: Start dependencies (blocking until up)
         run: ./development.sh start:deps
 
-      - name: Set up JDK 17
+      - name: Set up JDK 25
         uses: actions/setup-java@v5
         with:
-          java-version: "17"
+          java-version: "25"
           java-package: jdk
           architecture: x64
           distribution: temurin