Cherry pick r10025 into gwt/releases/2.3


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