418419420421422423424425426427428
rd.setLastModified(previousRd.getLastModified()); previousFile.delete(); System.out.print("[SAME]"); } reporter.scan(rev); analysed++; } finally { IOHelper.delete(lock); } } else {