Update Java version in Maven workflow to java 25

Author: ludoch

.github/workflows/maven.yml

@@ -38,7 +38,7 @@ jobs:
             maven_profile: ""
           - java: 21
             maven_profile: "-Pjdk21"
-          - java: 25-ea
+          - java: 25
             maven_profile: "-Pjdk25"
       fail-fast: false
 
@@ -59,7 +59,7 @@ jobs:
         run: |
           if [[ "${{ matrix.java }}" == "21" ]]; then
             echo "JAVA_HOME_21=$JAVA_HOME" >> $GITHUB_ENV
-          elif [[ "${{ matrix.java }}" == "25-ea" ]]; then
+          elif [[ "${{ matrix.java }}" == "25" ]]; then
             echo "JAVA_HOME_25=$JAVA_HOME" >> $GITHUB_ENV
           fi