diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/TypeReplaceMarker.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/TypeReplaceMarker.java index 5ab1fdd..a76beda 100644 --- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/TypeReplaceMarker.java +++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/TypeReplaceMarker.java @@ -143,7 +143,7 @@ public class TypeReplaceMarker extends JavMarker implements Comparable { TypeReplaceMarker other = (TypeReplaceMarker)o; if (this.getPositionInCode() == other.getPositionInCode()) { - return 0; + return this.tip.getInsertString().compareTo(other.tip.getInsertString()); } else if (this.getPositionInCode() > other.getPositionInCode()) { return 1; } else {