LGTM. I'll submit this. On 2012/06/14 07:32:40, tbroyer wrote:
because gwt-user has no declared dependency on gwt-dev (this might be a mistake, or
not)
I'm guessing this is because we don't want GWT user code to have dependencies on classes that should only be used in the compiler. https://gwt-code-reviews.appspot.com/1737805/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
