From 48a12fdc57f3c9ff9f252b6b0788165555491a1a Mon Sep 17 00:00:00 2001 From: michael Date: Tue, 14 Apr 2020 18:21:12 +0200 Subject: [PATCH] Repaired project. --- JavaCompilerPlugin/.classpath | 31 +++++++++---------- .../JavaCompilerPlugin.Plugin/.classpath | 14 +++------ .../typinferenzplugin/editor/JavEditor.java | 2 +- 3 files changed, 21 insertions(+), 26 deletions(-) diff --git a/JavaCompilerPlugin/.classpath b/JavaCompilerPlugin/.classpath index d69cec3..1ca050f 100644 --- a/JavaCompilerPlugin/.classpath +++ b/JavaCompilerPlugin/.classpath @@ -1,16 +1,15 @@ - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/.classpath b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/.classpath index 8efa7e7..a7b3062 100644 --- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/.classpath +++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/.classpath @@ -1,20 +1,16 @@ - - - - - - + + - + - + @@ -22,7 +18,7 @@ - + diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java index da77b5c..c096f5f 100644 --- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java +++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java @@ -177,7 +177,7 @@ public class JavEditor extends TextEditor implements UnifyResultListener { // do something long running if (!this.typeReplaceMarkers.isEmpty() || !this.errorMarkers.isEmpty()) { LOG.log(new Status(ERROR, PLUGIN_ID, - "Fehler: Zuerst Marker löschen, bevor Typinferenz durchgeführt werden kann")); + "Fehler: Zuerst Marker löschen, bevor Typinferenz durchgeführt werden kann")); return; }