Revert "Go back to JDK 11 for mutation tests"

Author: emlun

.github/workflows/coverage.yml

@@ -21,7 +21,7 @@ jobs:
     - name: Set up JDK
       uses: actions/setup-java@v3
       with:
-        java-version: 11
+        java-version: 17
         distribution: temurin
 
     - name: Run mutation test