From 25e230aff0653900221f5e6875fbbb5a41fc660c Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@pmd-code.org>
Date: Tue, 30 May 2023 19:18:24 +0200
Subject: [PATCH] [dist] Add jcommander back

This dependency is needed by pmd-designer 7.0.0-rc1, which is shipped with the distribution.
---
 pmd-dist/pom.xml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/pmd-dist/pom.xml b/pmd-dist/pom.xml
index afbd4508dc..e8c89155d2 100644
--- a/pmd-dist/pom.xml
+++ b/pmd-dist/pom.xml
@@ -173,6 +173,13 @@
             <artifactId>commons-lang3</artifactId>
         </dependency>
 
+        <!-- needed for pmd-designer 7.0.0-rc1 -->
+        <dependency>
+            <groupId>com.beust</groupId>
+            <artifactId>jcommander</artifactId>
+            <version>1.48</version>
+        </dependency>
+
         <dependency>
             <groupId>org.junit.jupiter</groupId>
             <artifactId>junit-jupiter</artifactId>