From 1da68158a802f47b42194dcb040be47526703ed6 Mon Sep 17 00:00:00 2001
From: Andy Clement <aclement@gopivotal.com>
Date: Thu, 14 Aug 2014 14:43:14 -0700
Subject: [PATCH] fixing paths so that distro build isn't huge

---
 ajdoc/.classpath | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ajdoc/.classpath b/ajdoc/.classpath
index 0b3f65de8..ec2682446 100644
--- a/ajdoc/.classpath
+++ b/ajdoc/.classpath
@@ -7,6 +7,7 @@
 	<classpathentry kind="src" path="/util"/>
 	<classpathentry kind="src" path="testsrc"/>
 	<classpathentry kind="lib" path="/lib/junit/junit.jar" sourcepath="/lib/junit/junit-src.jar"/>
+	<classpathentry kind="var" path="JAVA_HOME/lib/tools.jar"/>
 	<classpathentry kind="var" path="JRE15_LIB"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>
-- 
2.39.5