From 60ab289eeb583a6cb4cb50e7f7da67860c972c4a Mon Sep 17 00:00:00 2001
From: Michael Uhl <michael.b.uhl@gmail.com>
Date: Tue, 14 May 2019 22:31:00 +0200
Subject: [PATCH] Keine ConcurrentModificationException mehr durch das Plugin.

---
 .../src/typinferenzplugin/editor/JavEditor.java               | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
index ba81f28..443a199 100644
--- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
+++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
@@ -346,7 +346,9 @@ public class JavEditor extends TextEditor implements UnifyResultListener {
 		Vector<JavMarker> markers = new Vector<JavMarker>();
 		Vector<JavMarker> newMarkers = typeinference.updateWithResult(markers, evt.getNewTypeResult());
 		
-		errorMarkers.removeAll(newMarkers);
+		for (int i = 0; i < newMarkers.size(); i++) {
+			errorMarkers.remove(newMarkers.get(i));
+		}
 		
 		for (JavMarker trm : newMarkers) {
 			if (trm instanceof TypeReplaceMarker) {