### 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.420
diff -u -r1.420 JavaModelManager.java
--- model/org/eclipse/jdt/internal/core/JavaModelManager.java	28 Nov 2008 16:19:36 -0000	1.420
+++ model/org/eclipse/jdt/internal/core/JavaModelManager.java	28 Nov 2008 17:29:20 -0000
@@ -1895,7 +1895,8 @@
 	public Hashtable getOptions() {
 
 		// return cached options if already computed
-		if (this.optionsCache != null) return new Hashtable(this.optionsCache);
+		Hashtable cachedOptions; // use a local variable to avoid race condition (see https://bugs.eclipse.org/bugs/show_bug.cgi?id=256329 )
+		if ((cachedOptions = this.optionsCache) != null) return new Hashtable(cachedOptions);
 
 		if (!Platform.isRunning()) {
 			return this.optionsCache = getDefaultOptionsNoInitialization();