Searched refs:classFileIndexFile (Results 1 – 1 of 1) sorted by relevance
78 private final File classFileIndexFile = field in ClassFileIndex120 if (classFileIndexFile.exists()) { in createIndex()121 long lastModified = classFileIndexFile.lastModified(); in createIndex()201 mkdir.mkdirs(classFileIndexFile.getParentFile());203 indexCacheWriter = new BufferedWriter(new FileWriter(classFileIndexFile));220 reader = new BufferedReader(new FileReader(classFileIndexFile));