committed as r8527 http://gwt-code-reviews.appspot.com/756801/show
-- http://groups.google.com/group/Google-Web-Toolkit-Contributors
committed as r8527 http://gwt-code-reviews.appspot.com/756801/show
-- http://groups.google.com/group/Google-Web-Toolkit-Contributors