http://gwt-code-reviews.appspot.com/1388803/diff/1/dev/core/src/com/google/gwt/dev/resource/impl/ZipFileClassPathEntry.java File dev/core/src/com/google/gwt/dev/resource/impl/ZipFileClassPathEntry.java (right):
http://gwt-code-reviews.appspot.com/1388803/diff/1/dev/core/src/com/google/gwt/dev/resource/impl/ZipFileClassPathEntry.java#newcode98 dev/core/src/com/google/gwt/dev/resource/impl/ZipFileClassPathEntry.java:98: entryCache.put(location, cachedEntry); I think we should remove the isStale check, since this violates the current semantics for jar files in DevMode (and for jar files in a java classpath). Once a jar file is opened and indexed, it is not re-indexed if someone comes in and updates that jar file. http://gwt-code-reviews.appspot.com/1388803/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
