tree 61682772f1cbd00299136cf156d8199cb86a6069
parent 686692802549f6512f8674dee44564f33f020f3d
author bobv@google.com <bobv@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1310579720 +0000
committer bobv@google.com <bobv@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1310579720 +0000

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