I don't know why I was trying such convoluted ways of applying the patch on top of my branch… Anyway, I replaced the 8th patch set with the (hopefully) "correct" one (and you'll commit your version anyway, as the differences, if any, are only very minor; I thought I'd better try updating this CL though as it makes the changes easier to review for others)
http://gwt-code-reviews.appspot.com/1380806/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
