*** empty log message ***
diff --git a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
index c12269c..4bb1ad1 100644
--- a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
+++ b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
@@ -100,6 +100,7 @@
PatternSearchJob job = new PatternSearchJob(null, SearchEngine.getDefaultSearchParticipant(), scope, null);
Index[] selectedIndexes = job.getIndexes(null);
for (int j = 0, max = selectedIndexes.length; j < max; j++) {
+ // TODO should use getJavaPluginWorkingLocation()+index simple name to avoid bugs such as https://bugs.eclipse.org/bugs/show_bug.cgi?id=62267
String path = selectedIndexes[j].getIndexFile().getAbsolutePath();
knownPaths.put(path, path);
}
@@ -489,6 +490,7 @@
Util.verbose("-> saving index " + index.getIndexFile()); //$NON-NLS-1$
index.save();
}
+ // TODO should use getJavaPluginWorkingLocation()+index simple name to avoid bugs such as https://bugs.eclipse.org/bugs/show_bug.cgi?id=62267
String indexLocation = index.getIndexFile().getPath();
if (this.jobEnd > this.jobStart) {
Object containerPath = this.indexLocations.keyForValue(indexLocation);
