Diff of /tomcat/build/tc5.5.x/build.properties.default

Parent Directory | Revision Log | Patch

--- tomcat/build/tc5.5.x/build.properties.default	2005/10/07 10:12:04	307070
+++ tomcat/build/tc5.5.x/build.properties.default	2005/10/07 10:13:20	307071
@@ -142,11 +142,11 @@ xml-apis.jar=${xerces.lib}/xml-apis.jar
 xerces.loc=${base-xml.loc}/xerces-j/binaries/Xerces-J-bin.2.7.1.tar.gz
 
 
-# ----- Eclipse JDT, version 3.1.0 or later -----
+# ----- Eclipse JDT, version 3.1.1 or later -----
 jdt.home=${base.path}/eclipse/plugins
 jdt.lib=${jdt.home}
-jdt.jar=${jdt.lib}/org.eclipse.jdt.core_3.1.0.jar
-jdt.loc=http://sunsite.informatik.rwth-aachen.de/eclipse/downloads/drops/R-3.1-200506271435/eclipse-JDT-3.1.zip
+jdt.jar=${jdt.lib}/org.eclipse.jdt.core_3.1.1.jar
+jdt.loc=http://sunsite.informatik.rwth-aachen.de/eclipse/downloads/drops/R-3.1.1-200509290840/eclipse-JDT-3.1.1.zip
 
 
 # ----- Tomcat native library -----