http://gwt-code-reviews.appspot.com/1448801/diff/1/dev/core/src/com/google/gwt/dev/javac/UnitCacheFactory.java File dev/core/src/com/google/gwt/dev/javac/UnitCacheFactory.java (right):
http://gwt-code-reviews.appspot.com/1448801/diff/1/dev/core/src/com/google/gwt/dev/javac/UnitCacheFactory.java#newcode53 dev/core/src/com/google/gwt/dev/javac/UnitCacheFactory.java:53: } else if (cacheDir == null) { Shouldn't we offer a useful default for the cacheDir, such as the java.io.tmpdir property, so that users will be able to take advantage of caching out of the box, without having to take special effort. http://gwt-code-reviews.appspot.com/1448801/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
