This contains the wrong patch. I'll send out a new review and delete this one.
http://gwt-code-reviews.appspot.com/80803 --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
