From 774d5119ee6634280d0c3cb7022bec64f709ca9b Mon Sep 17 00:00:00 2001
From: Philipe Mulet
Date: Fri, 12 Aug 2005 10:35:19 +0000
Subject: 106829

---
 .../org/eclipse/jdt/internal/core/search/indexing/IndexManager.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
index 2c89de3ad2..05dcd32409 100644
--- a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
+++ b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
@@ -559,7 +559,7 @@ private char[] readIndexState() {
 		return new char[0];
 	}
 }
-private void updateIndexState(String indexName, Integer indexState) {
+private synchronized void updateIndexState(String indexName, Integer indexState) {
 	getIndexStates(); // ensure the states are initialized
 	if (indexState != null) {
 		if (indexState.equals(indexStates.get(indexName))) return; // not changed
-- 
cgit v1.2.3