View | Details | Raw Unified | Return to bug 305043 | Differences between
and this patch

Collapse All | Expand All

(-)model/org/eclipse/jdt/internal/core/JavaModelManager.java (-4 / +1 lines)
Lines 1811-1822 Link Here
1811
	}
1811
	}
1812
1812
1813
	private synchronized boolean batchContainerInitializations() {
1813
	private synchronized boolean batchContainerInitializations() {
1814
		switch (this.batchContainerInitializations) {
1814
		if (this.batchContainerInitializations == NEED_BATCH_INITIALIZATION) {
1815
		case NEED_BATCH_INITIALIZATION:
1816
			this.batchContainerInitializations = BATCH_INITIALIZATION_IN_PROGRESS;
1815
			this.batchContainerInitializations = BATCH_INITIALIZATION_IN_PROGRESS;
1817
			return true;
1816
			return true;
1818
		case BATCH_INITIALIZATION_IN_PROGRESS:
1819
			return true;
1820
		}
1817
		}
1821
		return false;
1818
		return false;
1822
	}
1819
	}

Return to bug 305043