diff --git a/org.eventb.texttools/src/org/eventb/texttools/PersistenceHelper.java b/org.eventb.texttools/src/org/eventb/texttools/PersistenceHelper.java
index 07b206e78eaced45aff55b809ccdb2b6fb506127..eb7ca2a535ca574d8160868a0501af6bf92210ef 100644
--- a/org.eventb.texttools/src/org/eventb/texttools/PersistenceHelper.java
+++ b/org.eventb.texttools/src/org/eventb/texttools/PersistenceHelper.java
@@ -355,17 +355,17 @@ public class PersistenceHelper {
 	 * EMF and returns it.
 	 * 
 	 * @param resource
-	 * @return timestamp or <code>-1</code> if none is found
+	 * @return timestamp or <code>System.currentTimeMillis();</code> if none is found
 	 */
 	private static long getTextTimestamp(final Resource resource) {
 		final EMap<String, Attribute> attributes = getAttributesMap(resource);
 		if (attributes != null) {
 			final Attribute attr = attributes
 					.get(TextToolsPlugin.TYPE_LASTMODIFIED.getId());
-			return attr != null ? (Long) attr.getValue() : -1;
+			return attr != null ? (Long) attr.getValue() : System.currentTimeMillis();
 		}
 
-		return -1;
+		return System.currentTimeMillis();
 	}
 
 	private static EMap<String, Attribute> getAttributesMap(