http://gwt-code-reviews.appspot.com/1264801/diff/1/2 File dev/core/src/com/google/gwt/dev/cfg/ModuleDef.java (left):
http://gwt-code-reviews.appspot.com/1264801/diff/1/2#oldcode418 dev/core/src/com/google/gwt/dev/cfg/ModuleDef.java:418: public synchronized void refresh(TreeLogger logger) { I wasn't sure if there were non-GWT callers on this public method. Worth fixing? http://gwt-code-reviews.appspot.com/1264801/diff/1/2 File dev/core/src/com/google/gwt/dev/cfg/ModuleDef.java (right): http://gwt-code-reviews.appspot.com/1264801/diff/1/2#newcode324 dev/core/src/com/google/gwt/dev/cfg/ModuleDef.java:324: doRefresh(TreeLogger.NULL); Oops, already committed. Think it's worth another CL to clean this up? http://gwt-code-reviews.appspot.com/1264801/show -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
