New (hopefully final?) patch. http://gwt-code-reviews.appspot.com/1426804/
-- http://groups.google.com/group/Google-Web-Toolkit-Contributors
New (hopefully final?) patch. http://gwt-code-reviews.appspot.com/1426804/
-- http://groups.google.com/group/Google-Web-Toolkit-Contributors