--- a/langtools/src/share/classes/com/sun/tools/javac/file/ZipFileIndexCache.java Tue Dec 17 19:27:49 2013 -0500
+++ b/langtools/src/share/classes/com/sun/tools/javac/file/ZipFileIndexCache.java Wed Dec 18 10:29:25 2013 -0500
@@ -113,14 +113,12 @@
}
public synchronized void clearCache(long timeNotUsed) {
- Iterator<File> cachedFileIterator = map.keySet().iterator();
- while (cachedFileIterator.hasNext()) {
- File cachedFile = cachedFileIterator.next();
+ for (File cachedFile : map.keySet()) {
ZipFileIndex cachedZipIndex = map.get(cachedFile);
if (cachedZipIndex != null) {
long timeToTest = cachedZipIndex.lastReferenceTimeStamp + timeNotUsed;
if (timeToTest < cachedZipIndex.lastReferenceTimeStamp || // Overflow...
- System.currentTimeMillis() > timeToTest) {
+ System.currentTimeMillis() > timeToTest) {
map.remove(cachedFile);
}
}