Upgrade PMD to 7.13.0

Upgrades PMD from 7.9.0 to 7.13.0

For release notes, see:
https://github.com/pmd/pmd/releases/tag/pmd_releases%2F7.13.0

Signed-off-by: Holger Friedrich <mail@holger-friedrich.de>

Author: holgerfriedrich

pom.xml

@@ -66,7 +66,7 @@
     <commons.lang3.version>3.17.0</commons.lang3.version>
     <mockito.version>4.10.0</mockito.version>
     <maven.resources.version>3.3.1</maven.resources.version>
-    <pmd.version>7.9.0</pmd.version>
+    <pmd.version>7.13.0</pmd.version>
     <checkstyle.version>10.21.1</checkstyle.version>
     <spotbugs.version>4.8.6</spotbugs.version>
     <maven.core.version>3.9.9</maven.core.version>

sat-plugin/src/main/java/org/openhab/tools/analysis/tools/PmdChecker.java

@@ -69,7 +69,7 @@ public class PmdChecker extends AbstractChecker {
     @Parameter
     private List<Dependency> pmdPlugins = new ArrayList<>();
 
-    private static final String PMD_VERSION = "7.9.0";
+    private static final String PMD_VERSION = "7.13.0";
     /**
      * Location of the properties files that contains configuration options for the maven-pmd-plugin
      */