From 26820cfdf0fee55b0e00c986c7a2a49f9195f7d2 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Mon, 20 Jul 2015 17:28:36 +0200
Subject: [PATCH] don't delete bundled plugins when installing an updated
 plugin with the same ID from the plugin repo

---
 .../com/intellij/ide/plugins/InstalledPluginsManagerMain.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java b/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
index 3db4fa984776..f215b2f899ad 100644
--- a/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
+++ b/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
@@ -151,7 +151,7 @@ public class InstalledPluginsManagerMain extends PluginManagerMain {
           }
 
           IdeaPluginDescriptor installedPlugin = PluginManager.getPlugin(pluginDescriptor.getPluginId());
-          if (installedPlugin != null) {
+          if (installedPlugin != null && !installedPlugin.isBundled()) {
             File oldFile = installedPlugin.getPath();
             if (oldFile != null) {
               StartupActionScriptManager.addActionCommand(new StartupActionScriptManager.DeleteCommand(oldFile));