From 03987347dc94c5f81707a6638ae85d814027378d Mon Sep 17 00:00:00 2001
From: Eugene Zhuravlev <jeka@jetbrains.com>
Date: Fri, 25 Sep 2009 10:43:25 +0400
Subject: [PATCH] delete old keystream file on creation if main file does not
 exist

---
 platform/util/src/com/intellij/util/io/PersistentEnumerator.java | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/platform/util/src/com/intellij/util/io/PersistentEnumerator.java b/platform/util/src/com/intellij/util/io/PersistentEnumerator.java
index 95776a3bc0..9d689a4d0e 100644
--- a/platform/util/src/com/intellij/util/io/PersistentEnumerator.java
+++ b/platform/util/src/com/intellij/util/io/PersistentEnumerator.java
@@ -127,8 +127,11 @@ public class PersistentEnumerator<Data> implements Forceable {
   public PersistentEnumerator(File file, KeyDescriptor<Data> dataDescriptor, int initialSize) throws IOException {
     myDataDescriptor = dataDescriptor;
     myFile = file;
-    if (!FileUtil.createIfDoesntExist(file)) {
-      throw new IOException("Cannot create empty file: " + file);
+    if (!file.exists()) {
+      FileUtil.delete(keystreamFile());
+      if (!FileUtil.createIfDoesntExist(file)) {
+        throw new IOException("Cannot create empty file: " + file);
+      }
     }
 
     myStorage = new ResizeableMappedFile(myFile, initialSize);
-- 
2.11.4.GIT