org.eclipse.jdt.core/scripts/exportplugin.xml

<?xml version="1.0" encoding="UTF-8"?>

<!-- build script to create a plugin from org.eclipse.jdt.core -->
<project name="org.eclipse.jdt.core" default="export" basedir="..">
	<target name="init">
		<tstamp/>
		<property name="destdir" value="../../plugin-export" />
		<property name="dest"  value="${destdir}/org.eclipse.jdt.core" />
	</target>

	<target name="export" depends="init">

		<echo message="TARGET: ${destdir}" />
		<mkdir dir="${destdir}" />
		<delete dir="${dest}" />
		<mkdir dir="${dest}" />

		<echo message="UPDATE jdtcore.jar" />
		<jar 
			jarfile="${dest}/jdtcore.jar"
			basedir="bin" />
		
		<echo message="UPDATE plugin.xml" />
		<copy file="plugin.xml" todir="${dest}" />

		<echo message="UPDATE plugin.properties" />
		<copy file="plugin.properties" todir="${dest}" />

		<echo message="UPDATE notice.html" />
		<copy file="notice.html" todir="${dest}" />
		
		<echo message="UPDATE .options" />
		<copy file=".options" todir="${dest}" />

		<echo message="UPDATE about.html" />
		<copy file="about.html" todir="${dest}" />

		<echo message="UPDATE jdtcoresrc.zip" />
		<zip zipfile="${dest}/jdtcoresrc.zip">
		    <zipfileset dir="ant" />
		    <zipfileset dir="batch" />
		    <zipfileset dir="codeassist" />
		    <zipfileset dir="compiler" />
		    <zipfileset dir="search" />
		    <zipfileset dir="eval" />
		    <zipfileset dir="model" />
		    <zipfileset dir="formatter" />
		    <zipfileset dir="dom" />
  		</zip>		
	</target>
</project>