Cherry picking r9857 into releases/2.3m1 for GWT issue 5807


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