No worries. I uploaded the patch manually and forgot to switch it to incubator. I edited it after the fact, but maybe that doesn't always work.
http://gwt-code-reviews.appspot.com/159805 -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
