From b2cbfdc6865c928cea6bc42bab14fd0b9724e16d Mon Sep 17 00:00:00 2001
From: Josh Cummings <josh.cummings@gmail.com>
Date: Sat, 26 Oct 2019 09:20:04 -0600
Subject: [PATCH] Restore sun.tools.version properti

---
 core-java-modules/core-java/pom.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core-java-modules/core-java/pom.xml b/core-java-modules/core-java/pom.xml
index 800649c163..7f2694b346 100644
--- a/core-java-modules/core-java/pom.xml
+++ b/core-java-modules/core-java/pom.xml
@@ -455,5 +455,6 @@
 
         <!-- instrumentation -->
         <javaassist.version>3.21.0-GA</javaassist.version>
+        <sun.tools.version>1.8.0</sun.tools.version>
     </properties>
 </project>