From a2de7b4997de35055b5bed3fc5940eaca86ec682 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@pmd-code.org>
Date: Tue, 4 Feb 2020 20:28:43 +0100
Subject: [PATCH] Update maven-pmd-plugin to 3.13.0

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index a237597d82..3fa29edb15 100644
--- a/pom.xml
+++ b/pom.xml
@@ -93,7 +93,7 @@
         <javacc.version>5.0</javacc.version>
         <surefire.version>2.22.1</surefire.version>
         <checkstyle.version>3.1.0</checkstyle.version>
-        <pmd.plugin.version>3.12.0</pmd.plugin.version>
+        <pmd.plugin.version>3.13.0</pmd.plugin.version>
         <ant.version>1.10.1</ant.version>
         <javadoc.plugin.version>3.1.1</javadoc.plugin.version>
         <antlr.version>4.7</antlr.version>