Merge branch 'main' into dependabot/github_actions/actions/setup-java-5

Author: renggli

.github/workflows/maven.yml

@@ -15,7 +15,7 @@ jobs:
         java: [ '11', '11.0.3', '14', '14.0.1' ]
     name: Java ${{ matrix.Java }}
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v5
       - uses: actions/setup-java@v5
         with:
           distribution: 'zulu'