### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core.tests.model
Index: src/org/eclipse/jdt/core/tests/model/JavaSearchBugsTests.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core.tests.model/src/org/eclipse/jdt/core/tests/model/JavaSearchBugsTests.java,v
retrieving revision 1.209
diff -u -r1.209 JavaSearchBugsTests.java
--- src/org/eclipse/jdt/core/tests/model/JavaSearchBugsTests.java	2 Dec 2010 07:50:41 -0000	1.209
+++ src/org/eclipse/jdt/core/tests/model/JavaSearchBugsTests.java	6 Dec 2010 09:38:06 -0000
@@ -12390,6 +12390,7 @@
 		waitUntilIndexesReady();
 		project.close(null);
 		deleteExternalFile(libPath);
+		Thread.sleep(1000);	// necessary for filesystems with timestamps only upto seconds (eg. Mac)
 		// Open project and recreate external jar file
 		Util.createJar(
 			new String[] {