upgrade jdt in dist

forge · Jan 18, 2013 · 67a80ea · 67a80ea
1 parent 79ab2fa
commit 67a80ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dist/build.xml b/dist/build.xml
@@ -235,7 +235,7 @@
 			<maven-resource group="org.eclipse.core" artifact="jobs" />
 			<maven-resource group="org.eclipse.core" artifact="resources" />
 			<maven-resource group="org.eclipse.core" artifact="runtime" />
-			<maven-resource group="org.eclipse.jdt" artifact="core" />
+			<maven-resource group="org.eclipse.tycho" artifact="org.eclipse.jdt.core" />
 			<maven-resource group="org.eclipse" artifact="osgi" />
 			<maven-resource group="org.eclipse.equinox" artifact="common" />
 			<maven-resource group="org.eclipse.equinox" artifact="preferences" />