tree 12437790648dd8192a13688dd16d320cceff0c0d
parent 98fe0b90ba45bb787186b632590502e6c3052ae6
author rchandia@google.com <rchandia@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1300819518 +0000
committer rchandia@google.com <rchandia@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1300819518 +0000

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