Merge branch 'main' into dependabot/maven/maven-dependencies-254c94a6fb

Author: smcvb

.github/workflows/main.yml

@@ -22,7 +22,7 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Set up JDK ${{ matrix.java-version }}
-        uses: actions/setup-java@v4.7.0
+        uses: actions/setup-java@v4.7.1
         with:
           distribution: 'zulu'
           java-version: ${{ matrix.java-version }}

.github/workflows/pullrequest.yml

@@ -19,7 +19,7 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Set up JDK ${{ matrix.java-version }}
-        uses: actions/setup-java@v4.7.0
+        uses: actions/setup-java@v4.7.1
         with:
           distribution: 'zulu'
           java-version: ${{ matrix.java-version }}