From 3e25529347c2a70bd2cc81980e9fa695d336f246 Mon Sep 17 00:00:00 2001
From: XDEV Renovate Bot <renovate@xdev-software.de>
Date: Mon, 28 Apr 2025 04:18:15 +0000
Subject: [PATCH] Update net.sourceforge.pmd to v7.13.0

---
 pom.xml                           | 4 ++--
 vaadin-simple-grid-filter/pom.xml | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/pom.xml b/pom.xml
index d662469..2241720 100644
--- a/pom.xml
+++ b/pom.xml
@@ -82,12 +82,12 @@
 							<dependency>
 								<groupId>net.sourceforge.pmd</groupId>
 								<artifactId>pmd-core</artifactId>
-								<version>7.12.0</version>
+								<version>7.13.0</version>
 							</dependency>
 							<dependency>
 								<groupId>net.sourceforge.pmd</groupId>
 								<artifactId>pmd-java</artifactId>
-								<version>7.12.0</version>
+								<version>7.13.0</version>
 							</dependency>
 						</dependencies>
 					</plugin>
diff --git a/vaadin-simple-grid-filter/pom.xml b/vaadin-simple-grid-filter/pom.xml
index 3d2c821..667f97d 100644
--- a/vaadin-simple-grid-filter/pom.xml
+++ b/vaadin-simple-grid-filter/pom.xml
@@ -350,12 +350,12 @@
 							<dependency>
 								<groupId>net.sourceforge.pmd</groupId>
 								<artifactId>pmd-core</artifactId>
-								<version>7.12.0</version>
+								<version>7.13.0</version>
 							</dependency>
 							<dependency>
 								<groupId>net.sourceforge.pmd</groupId>
 								<artifactId>pmd-java</artifactId>
-								<version>7.12.0</version>
+								<version>7.13.0</version>
 							</dependency>
 						</dependencies>
 					</plugin>