Rietveld really wants to create a new issue rather than adding a patch here. I'm not sure why. Anyway, the updated version of this patch is here:
http://gwt-code-reviews.appspot.com/227801 http://gwt-code-reviews.appspot.com/161802 -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
