Re-roll of r10955 after fixing internal build breakage.
Make GWT.create/etc usable on server.
Patch by: jat
Review by: cromwellian
Public review: http://gwt-code-reviews.appspot.com/1677803
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@10968 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/servlet/build.xml b/servlet/build.xml
index 21a57be..e35993e 100755
--- a/servlet/build.xml
+++ b/servlet/build.xml
@@ -28,6 +28,7 @@
<include name="com/google/gwt/dev/util/Name*.class" />
<include name="com/google/gwt/dev/util/StringKey.class" />
<include name="com/google/gwt/util/tools/shared/**" />
+ <include name="com/google/gwt/core/shared/**" />
</fileset>
<fileset dir="${gwt.user.bin}">
<exclude name="**/rebind/**" />
