--- OptimizedReplaceEdit.java.orig	2005-03-11 08:00:52.000000000 +0100
+++ OptimizedReplaceEdit.java	2005-04-18 20:15:41.515625000 +0200
@@ -15,14 +15,21 @@
 	int offset;
 	int length;
 	String replacement;
+	boolean mergeable;
 	
 	OptimizedReplaceEdit(int offset, int length, String replacement) {
+		this(offset, length, replacement, true);
+	}
+
+    /* Martijn Kruithof insert {} */
+	OptimizedReplaceEdit(int offset, int length, String replacement, boolean mergeable) {
 		this.offset = offset;
 		this.length = length;
 		this.replacement = replacement;
+		this.mergeable = mergeable;
 	}
 	
 	public String toString() {
-		return "(" + this.offset + ", length " + this.length + " :>" + this.replacement + "<"; //$NON-NLS-1$//$NON-NLS-2$//$NON-NLS-3$//$NON-NLS-4$
+		return "(" + this.offset + ", length " + this.length + " :>" + this.replacement + "< mergeable " + this.mergeable + ")"; //$NON-NLS-1$//$NON-NLS-2$//$NON-NLS-3$//$NON-NLS-4$//$NON-NLS-5$
 	}
-}
\ No newline at end of file
+}