From 2ecbc06b3ed2d1b030ea7071092904c6e2dac932 Mon Sep 17 00:00:00 2001
From: Eugene Zhuravlev <jeka@intellij.com>
Date: Fri, 12 Oct 2012 13:23:41 +0200
Subject: [PATCH] Save timestamps after updating

---
 .../jetbrains/jps/incremental/storage/TimestampStorage.java    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/jps/jps-builders/src/org/jetbrains/jps/incremental/storage/TimestampStorage.java b/jps/jps-builders/src/org/jetbrains/jps/incremental/storage/TimestampStorage.java
index be8c788cc25c..49761fe47a36 100644
--- a/jps/jps-builders/src/org/jetbrains/jps/incremental/storage/TimestampStorage.java
+++ b/jps/jps-builders/src/org/jetbrains/jps/incremental/storage/TimestampStorage.java
@@ -78,7 +78,8 @@ public class TimestampStorage extends AbstractStateStorage<File, TimestampStorag
             remove(file);
           }
           else {
-            ArrayUtil.remove(state, i);
+            TimestampPerTarget[] newState = ArrayUtil.remove(state, i);
+            update(file, newState);
             break;
           }
         }