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
1 file changed