Use s4u/setup-maven-action for Maven compatibility

.github/workflows/build-jdk11.yaml

@@ -9,22 +9,17 @@ jobs:
   build:
     runs-on: ubuntu-22.04
     steps:
-      # We run the build twice: once against the original Error Prone
-      # release, and once against the Picnic Error Prone fork. In both cases
-      # the code is compiled using JDK 17, while the tests are executed
-      # using JDK 11.
-      - name: Check out code
-        uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
-        with:
-          persist-credentials: false
-      - name: Set up JDK
-        uses: actions/setup-java@387ac29b308b003ca37ba93a6cab5eb57c8f5f93 # v4.0.0
+      # We run the build twice: once against the original Error Prone release,
+      # and once against the Picnic Error Prone fork. In both cases the code is
+      # compiled using JDK 17, while the tests are executed using JDK 11.
+      - name: Check out code and set up JDK and Maven
+        uses: s4u/setup-maven-action@fa2c7e4517ed008b1f73e7e0195a9eecf5582cd4 # v1.11.0
         with:
           java-version: |
             11.0.20
             17.0.8
-          distribution: temurin
-          cache: maven
+          java-distribution: ${{ matrix.distribution }}
+          maven-version: 3.9.6
       - name: Display build environment details
         run: mvn --version
       - name: Build project against vanilla Error Prone