[212987] Threading problems in GenericPositionManager

bundles/org.eclipse.wst.sse.core/src/org/eclipse/wst/sse/core/internal/text/GenericPositionManager.java

diff --git a/bundles/org.eclipse.wst.sse.core/src/org/eclipse/wst/sse/core/internal/text/GenericPositionManager.java b/bundles/org.eclipse.wst.sse.core/src/org/eclipse/wst/sse/core/internal/text/GenericPositionManager.java
index 84355f1..05c6856 100644
--- a/bundles/org.eclipse.wst.sse.core/src/org/eclipse/wst/sse/core/internal/text/GenericPositionManager.java
+++ b/bundles/org.eclipse.wst.sse.core/src/org/eclipse/wst/sse/core/internal/text/GenericPositionManager.java
@@ -74,7 +74,7 @@
 	 * @see org.eclipse.jface.text.IDocument#addPosition(java.lang.String,
 	 *      org.eclipse.jface.text.Position)
 	 */
-	public void addPosition(String category, Position position) throws BadLocationException, BadPositionCategoryException {
+	public synchronized void addPosition(String category, Position position) throws BadLocationException, BadPositionCategoryException {
 
 		if ((0 > position.offset) || (0 > position.length) || (position.offset + position.length > getDocumentLength()))
 			throw new BadLocationException();
@@ -153,7 +153,7 @@
 	 * 
 	 * @see IDocument#computeIndexInCategory(String, int)
 	 */
-	protected int computeIndexInPositionList(List positions, int offset) {
+	protected synchronized int computeIndexInPositionList(List positions, int offset) {
 
 		if (positions.size() == 0)
 			return 0;
@@ -302,7 +302,7 @@
 	 * @see org.eclipse.jface.text.IDocument#insertPositionUpdater(org.eclipse.jface.text.IPositionUpdater,
 	 *      int)
 	 */
-	public void insertPositionUpdater(IPositionUpdater updater, int index) {
+	public synchronized void insertPositionUpdater(IPositionUpdater updater, int index) {
 
 		for (int i = fPositionUpdaters.size() - 1; i >= 0; i--) {
 			if (fPositionUpdaters.get(i) == updater)
@@ -329,7 +329,7 @@
 	 * @see org.eclipse.jface.text.IDocument#removePosition(java.lang.String,
 	 *      org.eclipse.jface.text.Position)
 	 */
-	public void removePosition(String category, Position position) throws BadPositionCategoryException {
+	public synchronized void removePosition(String category, Position position) throws BadPositionCategoryException {
 
 		if (position == null)
 			return;
@@ -368,7 +368,7 @@
 	/*
 	 * @see org.eclipse.jface.text.IDocument#removePositionUpdater(org.eclipse.jface.text.IPositionUpdater)
 	 */
-	public void removePositionUpdater(IPositionUpdater updater) {
+	public synchronized void removePositionUpdater(IPositionUpdater updater) {
 		for (int i = fPositionUpdaters.size() - 1; i >= 0; i--) {
 			if (fPositionUpdaters.get(i) == updater) {
 				fPositionUpdaters.remove(i);
@@ -387,7 +387,7 @@
 	 *            the document event describing the change to which to adapt
 	 *            the positions
 	 */
-	protected void updatePositions(DocumentEvent event) {
+	protected synchronized void updatePositions(DocumentEvent event) {
 		List list = new ArrayList(fPositionUpdaters);
 		Iterator e = list.iterator();
 		while (e.hasNext()) {