From c9d17696e211ce517d5b7d3c1474b857d6d72029 Mon Sep 17 00:00:00 2001
From: Leo Galambos <lg@hq.egothor.org>
Date: Fri, 25 Jul 2025 19:13:40 +0200
Subject: [PATCH] Eclipse: removed PMD plugin

Signed-off-by: Leo Galambos <lg@hq.egothor.org>
---
 .project | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.project b/.project
index f429847..b289684 100644
--- a/.project
+++ b/.project
@@ -15,15 +15,9 @@
 			<arguments>
 			</arguments>
 		</buildCommand>
-		<buildCommand>
-			<name>net.sourceforge.pmd.eclipse.plugin.pmdBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
 	</buildSpec>
 	<natures>
 		<nature>org.eclipse.jdt.core.javanature</nature>
 		<nature>org.eclipse.buildship.core.gradleprojectnature</nature>
-		<nature>net.sourceforge.pmd.eclipse.plugin.pmdNature</nature>
 	</natures>
 </projectDescription>