Merge branch 'master' into dependabot/maven/org.apache.maven.plugins-maven-pmd-plugin-3.22.0

Author: chrjohn

.github/workflows/maven.yml

@@ -13,7 +13,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [ubuntu-latest, macOS-latest]
+        os: [ubuntu-latest, macOS-13]
         java: [8, 11, 17]
       fail-fast: false
       max-parallel: 4