### Eclipse Workspace Patch 1.0
#P sophie
Index: modules/org.sophie2.base.model.text/src/main/java/org/sophie2/base/model/text/smart/position/HotIndexInterval.java
===================================================================
--- modules/org.sophie2.base.model.text/src/main/java/org/sophie2/base/model/text/smart/position/HotIndexInterval.java	(revision 8429)
+++ modules/org.sophie2.base.model.text/src/main/java/org/sophie2/base/model/text/smart/position/HotIndexInterval.java	(working copy)
@@ -1,11 +1,15 @@
 package org.sophie2.base.model.text.smart.position;
 
+import org.sophie2.base.commons.util.Hash;
+import org.sophie2.base.commons.util.Hashable;
+import org.sophie2.base.commons.util.Hasher;
+
 /**
  * A class representing an interval in the text between two indexes.
  * 
  * @author diana
  */
-public class HotIndexInterval {
+public class HotIndexInterval implements Hashable {
 	
 	private final int begin;
 	private final int end;
@@ -72,5 +76,12 @@
 		}
 		return true;
 	}
+
+	public Hash getHash() {
+		Hasher hasher = new Hasher();
+		hasher.addInt(this.begin);
+		hasher.addInt(this.end);
+		return hasher.toHash();
+	}
 	
 }
Index: modules/org.sophie2.base.model.text/src/main/java/org/sophie2/base/model/text/smart/ImmHotText.java
===================================================================
--- modules/org.sophie2.base.model.text/src/main/java/org/sophie2/base/model/text/smart/ImmHotText.java	(revision 8429)
+++ modules/org.sophie2.base.model.text/src/main/java/org/sophie2/base/model/text/smart/ImmHotText.java	(working copy)
@@ -595,6 +595,7 @@
 					, this.subSingleInterval.getEnd()));
 			hasher.addHashed(ImmHashingTree.getHash(this.styleValues, 0, 
 					this.styleValues.size()));
+			hasher.addHashed(this.subSingleInterval.getHash());
 			this.styledHash = hasher.toHash();
 		}
 		return this.styledHash;