diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java index 8aa6200..dcd52c7 100644 --- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java +++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java @@ -275,7 +275,7 @@ public class JavEditor extends TextEditor{ } /** - * Ermittelt die momentan an dem Dokument, f�r welches dieser Editor zust�ndig ist, angebrachten TypeReplaceMarker. + * Ermittelt die momentan an dem Dokument, für welches dieser Editor zust�ndig ist, angebrachten TypeReplaceMarker. * Dabei werden die ReplaceMarker herausgefiltert, welche mindestens einen Typ an dem übergebenen offset einsetzen. * @param offset * @return