From 0f3661aa1cfe9fd08fadba8a91b0dd2e49636560 Mon Sep 17 00:00:00 2001
From: John Mayfield <john@nextmovesoftware.com>
Date: Thu, 6 Jan 2022 09:26:10 +0000
Subject: [PATCH] Leave the JDK tools.jar here for now - need to fix that for
 Java 11/17

---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 3b054e1..0924631 100644
--- a/pom.xml
+++ b/pom.xml
@@ -66,13 +66,13 @@
             <version>1.5.10</version>
             <scope>provided</scope>
         </dependency>
-        <!-- <dependency>
+        <dependency>
             <groupId>jdk.tools</groupId>
             <artifactId>jdk.tools</artifactId>
             <version>${java.version}</version>
             <scope>system</scope>
             <systemPath>${java.home}/../lib/tools.jar</systemPath>
-        </dependency> -->
+        </dependency>
     </dependencies>
 
     <build>