if (fingerprint.fileExists()) { result = addElement(resourceFile, element, subMonitor.split(50)); if (DEBUG && !fingerprint.fileExists()) { Package.log("the file " + pathString + " was not indexed because it does not exist", null); //$NON-NLS-1$ //$NON-NLS-2$
if (fingerprint.fileExists()) { result = addElement(resourceFile, element, subMonitor.split(50)); if (DEBUG && !fingerprint.fileExists()) { Package.log("the file " + pathString + " was not indexed because it does not exist", null); //$NON-NLS-1$ //$NON-NLS-2$