Note this fixes http://code.google.com/p/google-web-toolkit/issues/detail?id=6197 and there was already a patch pending review, submitted almost one year ago: http://gwt-code-reviews.appspot.com/1568803/
http://gwt-code-reviews.appspot.com/1823803/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors