From 6167d26fa9585b9dd7b4fe455048bd7cb54979dd Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@adangel.org>
Date: Mon, 25 Jun 2018 21:33:59 +0200
Subject: [PATCH] Make jaxen dependency optional. It is shaded into pmd-core.

---
 .gitignore       | 1 +
 pmd-core/pom.xml | 9 +++++++++
 2 files changed, 10 insertions(+)

diff --git a/.gitignore b/.gitignore
index e0312faab2..5edd8ada36 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@ bin/
 .idea
 *.patch
 */src/site/site.xml
+pmd-core/dependency-reduced-pom.xml
diff --git a/pmd-core/pom.xml b/pmd-core/pom.xml
index b142191cde..44d7ee31f5 100644
--- a/pmd-core/pom.xml
+++ b/pmd-core/pom.xml
@@ -108,6 +108,15 @@
         <dependency>
             <groupId>jaxen</groupId>
             <artifactId>jaxen</artifactId>
+            <!--
+                Jaxen is optionally, so that it doesn't get inherited by default.
+                Jaxen is shaded into pmd-core (without org.w3c.dom.UserDataHandler).
+                Adding Jaxen again as a dependency would reintroduce the duplicated
+                org.w3c.dom.UserDataHandler interface.
+                See https://github.com/pmd/pmd/issues/1074
+                and https://github.com/pmd/pmd/pull/1201
+            -->
+            <optional>true</optional>
         </dependency>
         <dependency>
             <groupId>net.java.dev.javacc</groupId>