Run jarjar on gwt-dev-platform.jar, for all three platforms, so that
a large number of internal dependencies are renamed to go under
com.google.gwt.thirdparty.
Review by: fabbott
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@4419 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/common.ant.xml b/common.ant.xml
index 4f76a90..2b19d63 100755
--- a/common.ant.xml
+++ b/common.ant.xml
@@ -39,6 +39,7 @@
<property name="gwt.build.dist" location="${gwt.build}/dist" />
<property name="project.build" location="${gwt.build.out}/${project.tail}" />
<property name="project.lib" location="${gwt.build.lib}/gwt-${ant.project.name}.jar" />
+ <property name="project.lib.raw" location="${gwt.build.lib}/gwt-${ant.project.name}-raw.jar" />
<property name="project.jni" location="${gwt.build}/${project.tail}" />
<property name="javac.out" location="${project.build}/bin" />
<property name="javac.junit.out" location="${project.build}/bin-test" />
