From 3aa1cb2e3c1d1e9f24b01ee17b32b34fe7869874 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@pmd-code.org>
Date: Fri, 28 Jun 2024 12:12:09 +0200
Subject: [PATCH] Bump pmd from 7.1.0 to 7.3.0

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

diff --git a/pom.xml b/pom.xml
index 3dd37c6b..588f35db 100644
--- a/pom.xml
+++ b/pom.xml
@@ -83,7 +83,7 @@
 
         <pmd.build-tools.version>26</pmd.build-tools.version>
         <pmd.plugin.version>3.23.0</pmd.plugin.version>
-        <pmd.check.version>7.1.0</pmd.check.version>
+        <pmd.check.version>7.3.0</pmd.check.version>
 
         <jflex-output>${project.build.directory}/generated-sources/jflex</jflex-output>