### 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.163
diff -u -r1.163 IndexManager.java
--- search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java	24 Nov 2008 15:57:41 -0000	1.163
+++ search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java	24 Nov 2008 17:12:47 -0000
@@ -640,7 +640,7 @@
 			// the index does not exist, try to recreate it
 			return recreateIndex(containerPath) != null;
 		}
-		index.reset(false/*do not reuse index file*/);
+		index.reset();
 		return true;
 	} catch (IOException e) {
 		// The file could not be created. Possible reason: the project has been deleted.
Index: search/org/eclipse/jdt/internal/core/index/Index.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/index/Index.java,v
retrieving revision 1.32
diff -u -r1.32 Index.java
--- search/org/eclipse/jdt/internal/core/index/Index.java	24 Nov 2008 15:57:41 -0000	1.32
+++ search/org/eclipse/jdt/internal/core/index/Index.java	24 Nov 2008 17:12:47 -0000
@@ -177,10 +177,10 @@
  * 
  * @throws IOException
  */
-public void reset(boolean reuseExistingFile) throws IOException {
+public void reset() throws IOException {
 	this.memoryIndex = new MemoryIndex();
 	this.diskIndex = new DiskIndex(this.diskIndex.indexFile.getCanonicalPath());
-	this.diskIndex.initialize(reuseExistingFile);
+	this.diskIndex.initialize(false/*do not reuse the index file*/);
 }
 public void save() throws IOException {
 	// must own the write lock of the monitor