Fix issue 5807 on server side. Previously reviewed at 1370803.

Review at http://gwt-code-reviews.appspot.com/1384802


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9857 8db76d5a-ed1c-0410-87a9-c151d255dfc7
7 files changed