--- ./build/build.properties.default.p20	2007-03-05 10:27:32.000000000 -0500
+++ ./build/build.properties.default	2007-04-29 10:48:38.000000000 -0400
@@ -137,7 +137,7 @@
 # ----- Eclipse JDT, version 3.1.2 or later -----
 jdt.home=${base.path}/eclipse/plugins
 jdt.lib=${jdt.home}
-jdt.jar=${jdt.lib}/org.eclipse.jdt.core_3.1.2.jar
+jdt.jar=${base.path}/jdtcore.jar
 jdt.loc=http://archive.eclipse.org/eclipse/downloads/drops/R-3.1.2-200601181600/eclipse-JDT-3.1.2.zip