From a066fbe17f3f5b2457daa0d283ec7666501a0889 Mon Sep 17 00:00:00 2001
From: Alexey Kudravtsev <cdr@intellij.com>
Date: Mon, 19 Aug 2013 18:31:30 +0400
Subject: [PATCH] cleanup

---
 .../util/src/com/intellij/openapi/diagnostic/DefaultLogger.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/util/src/com/intellij/openapi/diagnostic/DefaultLogger.java b/platform/util/src/com/intellij/openapi/diagnostic/DefaultLogger.java
index c802ffaea06f..57f60f7fb676 100644
--- a/platform/util/src/com/intellij/openapi/diagnostic/DefaultLogger.java
+++ b/platform/util/src/com/intellij/openapi/diagnostic/DefaultLogger.java
@@ -46,7 +46,7 @@ public class DefaultLogger extends Logger {
   public void error(String message, @Nullable Throwable t, @NotNull String... details) {
     System.err.println("ERROR: " + message);
     if (t != null) t.printStackTrace();
-    if (details != null && details.length > 0) {
+    if (details.length > 0) {
       System.out.println("details: ");
       for (String detail : details) {
         System.out.println(detail);