Merging releases/1.6@4385:4459 into trunk.

svn merge --accept=postpone -r4385:4459 https://google-web-toolkit.googlecode.com/svn/releases/1.6 .

I had to manually merge the following things:
- Consistent line endings for ProxyCreator; 1.6@4388
- PermutationWorkerFactory actually fails compiles on error; 1.6@4405
- CompilingClassLoader CompilationUnit-based JSNI injection (for Emma); 1.6@4446
- Pruner sort & format; 1.6@4458



git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@4488 8db76d5a-ed1c-0410-87a9-c151d255dfc7

dev-ext/build.xml

diff --git a/dev-ext/build.xml b/dev-ext/build.xml
new file mode 100644
index 0000000..8be986b
--- /dev/null
+++ b/dev-ext/build.xml
@@ -0,0 +1,24 @@
+<project name="dev-ext" default="build" basedir=".">
+  <property name="gwt.root" location=".." />
+  <property name="project.tail" value="dev-ext" />
+  <import file="${gwt.root}/common.ant.xml" />
+
+  <property.ensure name="gwt.dev.src" location="${gwt.root}/dev/core/src" />
+  <property.ensure name="gwt.dev.bin" location="${gwt.build.out}/dev/core/bin" />
+
+  <target name="build" description="Packages this project into a jar">
+    <mkdir dir="${gwt.build.lib}" />
+    <gwt.jar>
+      <fileset dir="${gwt.dev.src}">
+        <include name="com/google/gwt/core/ext/*.java" />
+      </fileset>
+      <fileset dir="${gwt.dev.bin}">
+        <include name="com/google/gwt/core/ext/*.class" />
+      </fileset>
+    </gwt.jar>
+  </target>
+
+  <target name="clean" description="Cleans this project's intermediate and output files">
+    <delete file="${project.lib}" />
+  </target>
+</project>