### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: model/org/eclipse/jdt/internal/core/JavaModelManager.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/JavaModelManager.java,v
retrieving revision 1.445
diff -u -r1.445 JavaModelManager.java
--- model/org/eclipse/jdt/internal/core/JavaModelManager.java	2 Mar 2010 06:46:01 -0000	1.445
+++ model/org/eclipse/jdt/internal/core/JavaModelManager.java	19 Mar 2010 14:36:18 -0000
@@ -1811,12 +1811,9 @@
 	}
 
 	private synchronized boolean batchContainerInitializations() {
-		switch (this.batchContainerInitializations) {
-		case NEED_BATCH_INITIALIZATION:
+		if (this.batchContainerInitializations == NEED_BATCH_INITIALIZATION) {
 			this.batchContainerInitializations = BATCH_INITIALIZATION_IN_PROGRESS;
 			return true;
-		case BATCH_INITIALIZATION_IN_PROGRESS:
-			return true;
 		}
 		return false;
 	}