From 245115807ec9cd69a67a762ba7c6f25262240d0e Mon Sep 17 00:00:00 2001
From: "Gregory.Shrago" <gregory.shrago@jetbrains.com>
Date: Fri, 30 Dec 2011 18:11:37 +0300
Subject: [PATCH] [nik] stack pop exception in <<<.. case

---
 .../options/colors/highlighting/HighlightsExtractor.java      | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platform/lang-impl/src/com/intellij/application/options/colors/highlighting/HighlightsExtractor.java b/platform/lang-impl/src/com/intellij/application/options/colors/highlighting/HighlightsExtractor.java
index 98333f988d42..db4b3b45b952 100644
--- a/platform/lang-impl/src/com/intellij/application/options/colors/highlighting/HighlightsExtractor.java
+++ b/platform/lang-impl/src/com/intellij/application/options/colors/highlighting/HighlightsExtractor.java
@@ -72,7 +72,7 @@ public class HighlightsExtractor {
     if (openTag == -1) {
       return null;
     }
-    if (text.charAt(openTag + 1) == '<') {
+    while (text.charAt(openTag + 1) == '<') {
       openTag++;
     }
     if (text.charAt(openTag + 1) == '/') {
@@ -104,7 +104,7 @@ public class HighlightsExtractor {
         sb.append(text.substring(index, text.length()));
         break;
       }
-      if (text.charAt(from+1) == '<') {
+      while (text.charAt(from+1) == '<') {
         from++;
       }
       int to = text.indexOf('>', from+1);