Fix build break. Note that this change was already committed in trunk and should not be merged to trunk again. Patch by: jat Review by: bobv (desk review) git-svn-id: https://google-web-toolkit.googlecode.com/svn/releases/1.6@3878 8db76d5a-ed1c-0410-87a9-c151d255dfc7