if (resourceFile.isInIndex()) { resourceFile.setFingerprint(fingerprint); allResourcesWithThisPath = javaIndex.findResourcesWithPath(pathString);
if (resourceFile.isInIndex()) { resourceFile.setFingerprint(fingerprint); allResourcesWithThisPath = javaIndex.findResourcesWithPath(pathString);