Cherry-pick r10451 into GWT 2.4 branch.
Add StringKey to gwt-servlet.jar.
git-svn-id: https://google-web-toolkit.googlecode.com/svn/releases/2.4@10453 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/servlet/build.xml b/servlet/build.xml
index c33229f..dcb9a83 100755
--- a/servlet/build.xml
+++ b/servlet/build.xml
@@ -26,6 +26,7 @@
<fileset dir="${gwt.dev.bin}">
<include name="com/google/gwt/dev/asm/**" />
<include name="com/google/gwt/dev/util/Name*.class" />
+ <include name="com/google/gwt/dev/util/StringKey.class" />
</fileset>
<fileset dir="${gwt.user.bin}">
<exclude name="**/rebind/**" />