fixing paths so that distro build isn't huge

diff --git a/ajdoc/.classpath b/ajdoc/.classpath
index 0b3f65de84da9bbfcff691c1b3e8310515be86d4..ec2682446b2071dac0bb262466204e725da73864 100644 (file)
--- 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>