### Eclipse Workspace Patch 1.0
#P org.eclipse.pde.core
Index: src/org/eclipse/pde/internal/core/JavadocLocationManager.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/JavadocLocationManager.java,v
retrieving revision 1.17
diff -u -r1.17 JavadocLocationManager.java
--- src/org/eclipse/pde/internal/core/JavadocLocationManager.java	25 Apr 2008 23:28:29 -0000	1.17
+++ src/org/eclipse/pde/internal/core/JavadocLocationManager.java	16 Jun 2008 21:56:17 -0000
@@ -39,7 +39,7 @@
 		return getEntry(model);
 	}
 
-	private String getEntry(IPluginModelBase model) {
+	private synchronized String getEntry(IPluginModelBase model) {
 		initialize();
 		BundleDescription desc = model.getBundleDescription();
 		if (desc != null) {