From 00ed3129605f17939e7cc320ffd8ade347902a57 Mon Sep 17 00:00:00 2001
From: Sergey Ignatov <sergey.ignatov@jetbrains.com>
Date: Tue, 11 Apr 2017 22:33:47 +0300
Subject: [PATCH] cleanup

---
 .../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 fdca6172246b..733146ae0149 100644
--- a/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
+++ b/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
@@ -157,7 +157,7 @@ public class InstalledPluginsManagerMain extends PluginManagerMain {
         PluginInstaller.install(file, file.getName(), false, pluginDescriptor);
         ourState.onPluginInstall(pluginDescriptor);
         checkInstalledPluginDependencies(model, pluginDescriptor, parent);
-        callback.consume(pair(file, (IdeaPluginDescriptor)pluginDescriptor));
+        callback.consume(pair(file, pluginDescriptor));
       }
       catch (IOException ex) {
         MessagesEx.showErrorDialog(parent, ex.getMessage(), CommonBundle.getErrorTitle());