diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
index c096f5f..2fc2862 100644
--- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
+++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java
@@ -187,7 +187,10 @@ public class JavEditor extends TextEditor implements UnifyResultListener {
 			} catch (TypeinferenceException texc) {
 				ErrorMarker errorMarker = new ErrorMarker(texc.getMessage(), new CodePoint(texc.getOffset()));
 				this.errorMarkers.add(errorMarker);
-				this.placeMarkers(extractResource(), singletonList(errorMarker));
+				
+				Display.getDefault().asyncExec(() -> {
+					this.placeMarkers(extractResource(), singletonList(errorMarker));
+				});
 			}
 		});