From 2b8af4e6a5e417cfd840644836ee667bd1b0c867 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <nikolay.krasko@jetbrains.com>
Date: Mon, 25 Mar 2013 15:11:43 +0400
Subject: [PATCH] Refresh local file system to update content of the jar

---
 .../jet/plugin/versions/KotlinRuntimeLibraryUtil.java | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/versions/KotlinRuntimeLibraryUtil.java b/idea/src/org/jetbrains/jet/plugin/versions/KotlinRuntimeLibraryUtil.java
index 0313f491d65..97f5baece03 100644
--- a/idea/src/org/jetbrains/jet/plugin/versions/KotlinRuntimeLibraryUtil.java
+++ b/idea/src/org/jetbrains/jet/plugin/versions/KotlinRuntimeLibraryUtil.java
@@ -187,9 +187,9 @@ public class KotlinRuntimeLibraryUtil {
         return kotlinRuntimeJar;
     }
 
-    static void replaceFile(File updatedFile, VirtualFile replacedFile) {
+    static void replaceFile(File updatedFile, VirtualFile replacedJarFile) {
         try {
-            String localPath = com.intellij.util.PathUtil.getLocalPath(replacedFile);
+            String localPath = com.intellij.util.PathUtil.getLocalPath(replacedJarFile);
             assert localPath != null;
 
             File libraryJarPath = new File(localPath);
@@ -199,11 +199,14 @@ public class KotlinRuntimeLibraryUtil {
             }
 
             FileUtil.copy(updatedFile, libraryJarPath);
+
+            VirtualFile localFile = JarFileSystem.getInstance().getLocalVirtualFileFor(replacedJarFile);
+            if (localFile != null) {
+                localFile.refresh(false, true);
+            }
         }
         catch (IOException e) {
             throw new AssertionError(e);
         }
-
-        replacedFile.refresh(true, true);
     }
 }