Removes javax/servlet/*.java source files from gwt-user.jar.
By popular demand, we're removing these source files from gwt-user.jar because Maven chokes on them and tries to recompile them.
Issue: 3851
Review by: bobv
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@5944 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/build.xml b/user/build.xml
index 47a0c20..7558059 100755
--- a/user/build.xml
+++ b/user/build.xml
@@ -86,7 +86,7 @@
<fileset dir="src" excludes="**/package.html" />
<fileset dir="super" excludes="**/package.html" />
<fileset dir="${javac.out}" />
- <zipfileset src="${gwt.tools.lib}/tomcat/servlet-api-2.5.jar" />
+ <zipfileset src="${gwt.tools.lib}/tomcat/servlet-api-2.5.jar" excludes="**/*.java"/>
<zipfileset src="${gwt.tools.lib}/w3c/sac/sac-1.3.jar" />
<zipfileset src="${gwt.tools.lib}/w3c/flute/flute-1.3.jar" />
</gwt.jar>
