From fbdad858c4023a72545992b39e54ef4444a98ddd Mon Sep 17 00:00:00 2001
From: Laurent Clouet <laurent@nopnop.net>
Date: Thu, 6 Jun 2024 02:46:36 +0200
Subject: [PATCH] Add PMD plugin config to intellij project

---
 .idea/misc.xml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index dafcb1c..652d379 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,5 +1,21 @@
+<?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
   <component name="ExternalStorageConfigurationManager" enabled="true" />
+  <component name="PDMPlugin">
+    <option name="customRuleSets">
+      <list>
+        <option value="$PROJECT_DIR$/rulesets/java-sheepit.xml" />
+      </list>
+    </option>
+    <option name="options">
+      <map>
+        <entry key="Statistics URL" value="" />
+        <entry key="Target JDK" value="17" />
+        <entry key="Threads" value="1" />
+      </map>
+    </option>
+    <option name="skipTestSources" value="false" />
+  </component>
   <component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="true" project-jdk-name="11" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>