I am trying build 7255 (I was previously on 7241) and it seems that the gwt plugin has some serious problem recognizing errors: every class imported from an external module is marked red with a tooltip stating something like:
"class 'com.google.etcetc' is defined in module 'com.google.etcetc.' which is not inherited in module 'it.pip.etcetc.".
Needless to say that every error is wrongly detected.
Am I the only one seeing this? (well, actually it's happening to the two of us who upgraded, but it may be something in our project...).