Author: remy.maucherat(a)jboss.com Date: 2008-01-22 09:49:24 -0500 (Tue, 22 Jan 2008) New Revision: 405 Modified: trunk/build.properties.default Log: - Fix JDT 3.3.1 location. Modified: trunk/build.properties.default =================================================================== --- trunk/build.properties.default 2008-01-21 15:28:26 UTC (rev 404) +++ trunk/build.properties.default 2008-01-22 14:49:24 UTC (rev 405) @@ -38,7 +38,7 @@ jdt.home=${base.path}/eclipse/plugins jdt.lib=${jdt.home} jdt.jar=${jdt.lib}/org.eclipse.jdt.core_3.3.1.v_780_R33x.jar -jdt.loc=http://sunsite.informatik.rwth-aachen.de/eclipse/downloads/drops/R-3.3.1-200709211145/eclipse-JDT-3.3.1.zip +jdt.loc=http://www.eclipse.org/downloads/download.php?file=/eclipse/downloads/drops/R-3.3.1-200709211145/eclipse-JDT-3.3.1.zip # ----- Tomcat native library ----- tomcat-native.home=${base.path}/tomcat-native-1.1.12