Replace java11_path with java25_path in github actions

Author: anneloredev

.github/workflows/build.yml

@@ -195,7 +195,7 @@ jobs:
       uses: actions/setup-java@v5
       with:
         distribution: 'temurin'
-        java-version: ''
+        java-version: '25.0.1'
 
     - name: Set up JDK 17
       id: setup-jdk17