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; }