### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java,v
retrieving revision 1.166
diff -u -r1.166 IndexManager.java
--- search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java	13 May 2010 00:51:11 -0000	1.166
+++ search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java	28 Jul 2010 06:09:26 -0000
@@ -129,7 +129,7 @@
 	}
 	deleteIndexFiles(knownPaths);
 }
-public IPath computeIndexLocation(IPath containerPath) {
+public synchronized IPath computeIndexLocation(IPath containerPath) {
 	IPath indexLocation = (IPath) this.indexLocations.get(containerPath);
 	if (indexLocation == null) {
 		String pathString = containerPath.toOSString();
@@ -168,7 +168,7 @@
 /*
  * Creates an empty index at the given location, for the given container path, if none exist.
  */
-public void ensureIndexExists(IPath indexLocation, IPath containerPath) {
+public synchronized void ensureIndexExists(IPath indexLocation, IPath containerPath) {
 	SimpleLookupTable states = getIndexStates();
 	Object state = states.get(indexLocation);
 	if (state == null) {