FYI, an issue related to this change: https://code.google.com/p/google-web-toolkit/issues/detail?id=7677
http://gwt-code-reviews.appspot.com/1879804/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
FYI, an issue related to this change: https://code.google.com/p/google-web-toolkit/issues/detail?id=7677
http://gwt-code-reviews.appspot.com/1879804/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors