diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerConfigurableNew.java b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerConfigurableNew.java
index 7a77b254264f..4f620a0d4c90 100644
--- a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerConfigurableNew.java
+++ b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerConfigurableNew.java
@@ -1400,12 +1400,16 @@ public class PluginManagerConfigurableNew
           }
         }
       }
-      catch (UnknownHostException e) {
-        PluginManagerMain.LOG.info("Main plugin repository '" + e.getMessage() + "' is not available. Please check your network settings.");
-      }
       catch (IOException e) {
         if (host == null) {
-          exception = e;
+          //noinspection InstanceofCatchParameter
+          if (e instanceof UnknownHostException) {
+            PluginManagerMain.LOG
+              .info("Main plugin repository '" + e.getMessage() + "' is not available. Please check your network settings.");
+          }
+          else {
+            exception = e;
+          }
         }
         else {
           PluginManagerMain.LOG.info(host, e);