Cherry pick r10407 into GWT 2.4 release branch


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