From 67310baae241ab2bbcdda23a84b2aab2800404fe Mon Sep 17 00:00:00 2001
From: Roman Shevchenko <roman.shevchenko@jetbrains.com>
Date: Wed, 6 Nov 2013 20:57:45 +0100
Subject: [PATCH] Null class name tolerated

---
 .../src/com/intellij/ide/plugins/PluginManager.java         | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java
index b7355457e3ab..87e06c3c4126 100644
--- a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java
+++ b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java
@@ -197,7 +197,7 @@ public class PluginManager extends PluginManagerCore {
     return null;
   }
 
-  public static void handleComponentError(Throwable t, String componentClassName, ComponentConfig config) {
+  public static void handleComponentError(Throwable t, @Nullable String componentClassName, @Nullable ComponentConfig config) {
     if (t instanceof StartupAbortedException) {
       throw (StartupAbortedException)t;
     }
@@ -207,7 +207,9 @@ public class PluginManager extends PluginManagerCore {
       pluginId = config.getPluginId();
     }
     if (pluginId == null || CORE_PLUGIN_ID.equals(pluginId.getIdString())) {
-      pluginId = getPluginByClassName(componentClassName);
+      if (componentClassName != null) {
+        pluginId = getPluginByClassName(componentClassName);
+      }
     }
     if (pluginId == null || CORE_PLUGIN_ID.equals(pluginId.getIdString())) {
       if (t instanceof PicoPluginExtensionInitializationException) {