GH-5076: Use Java 17 for Github CI

Spring 6 requires Java 17. This should not change things for clients as the project still compiles for Java 11

Author: fkleedorfer

.github/workflows/pr-verify.yml

@@ -19,7 +19,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v4
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'temurin'
           cache: maven
       - name: Check formatting
@@ -37,7 +37,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v4
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'temurin'
           cache: maven
       - name: Compile (mvn clean install)
@@ -50,7 +50,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        jdk: [ 11, 24 ]
+        jdk: [ 17, 24 ]
     steps:
       - uses: actions/checkout@v4
       - name: Set up JDK
@@ -78,7 +78,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v4
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'temurin'
           cache: maven
       - name: Build
@@ -99,7 +99,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v4
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'temurin'
           cache: maven
       - name: Build
@@ -120,7 +120,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v4
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'temurin'
           cache: maven
       - name: Run install
@@ -137,7 +137,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v4
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'temurin'
           cache: maven
       - name: Install dependencies