Switch Java distribution in GitHub pipelines to Eclipse Temurin

See https://adoptium.net/temurin/release-notes?version=25

Author: uhafner

.github/workflows/ci.yml

@@ -22,7 +22,7 @@ jobs:
       - name: Set up JDK ${{ matrix.jdk }}
         uses: actions/setup-java@v5
         with:
-          distribution: 'corretto'
+          distribution: 'temurin'
           java-version: '${{ matrix.jdk }}'
           check-latest: true
           cache: 'maven'