CI tweaks

Author: felfert

.github/workflows/ci.yaml

@@ -30,8 +30,8 @@ jobs:
       - uses: actions/checkout@v3
       - uses: actions/setup-java@v4
         with:
-          java-version: "11"
+          java-version: "17"
           distribution: temurin
           cache: maven
       - name: Build
-        run: mvn clean verify checkstyle:checkstyle -B -q -Dorg.slf4j.simpleLogger.defaultLogLevel=ERROR -Pdoc,src
+        run: mvn -B -Dstyle.color=always clean verify checkstyle:checkstyle -B -Dstyle.color=always -q -Dorg.slf4j.simpleLogger.defaultLogLevel=ERROR -Pdoc,src