@jeff - Can you upload a patch relative to trunk/ instead of trunk/user? I have some comments, but I'm getting a 500 error when I try to publish them. I think its because the patch isn't relative to trunk/.
http://gwt-code-reviews.appspot.com/1149803/show -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
