/** * Optimized not to be not interrested in files with an extension of .java or .class or if the * file has just been saved by our own internal mechanism. */ protected boolean isInterrestedInFile(IFile aFile) { String extension = aFile.getFileExtension(); if (CLASS_EXTENSION.equals(extension) || JAVA_EXTENSION.equals(extension)) return false; if (recentlySavedFiles.remove(aFile)) { cacheIgnored(aFile); return false; } return !hasIgnored(aFile); }