John desk checked it. Committed at r6030. http://gwt-code-reviews.appspot.com/62809
--~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
