From f9da4e8ed775dd74148811add25a1bf78ffca82e Mon Sep 17 00:00:00 2001
From: "Vassiliy.Kudryashov" <Vassiliy.Kudryashov@jetbrains.com>
Date: Tue, 21 Feb 2017 14:57:12 +0300
Subject: [PATCH] https://ea.jetbrains.com/browser/ea_reports/1356696

---
 platform/platform-api/src/com/intellij/ui/TitledSeparator.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-api/src/com/intellij/ui/TitledSeparator.java b/platform/platform-api/src/com/intellij/ui/TitledSeparator.java
index 563107bc6fd0..73c09c853f7c 100644
--- a/platform/platform-api/src/com/intellij/ui/TitledSeparator.java
+++ b/platform/platform-api/src/com/intellij/ui/TitledSeparator.java
@@ -71,7 +71,7 @@ public class TitledSeparator extends JPanel {
 
   public void setText(String text) {
     originalText = text;
-    myLabel.setText(text.startsWith("<html>") ? text : UIUtil.replaceMnemonicAmpersand(originalText));
+    myLabel.setText(text != null && text.startsWith("<html>") ? text : UIUtil.replaceMnemonicAmpersand(originalText));
   }
   public void setTitleFont(Font font) {
     myLabel.setFont(font);