From 6d1c0d3b92229a4c68ece29fcea657fd24f92462 Mon Sep 17 00:00:00 2001
From: Eugene Kudelevsky <Eugene.Kudelevsky@jetbrains.com>
Date: Mon, 28 Jan 2013 12:49:14 +0400
Subject: [PATCH] WEB-6302 fix migrating from obsolete buggy setting html5
 language level to the new one

---
 .../src/com/intellij/javaee/ExternalResourceManagerImpl.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xml/impl/src/com/intellij/javaee/ExternalResourceManagerImpl.java b/xml/impl/src/com/intellij/javaee/ExternalResourceManagerImpl.java
index 9e53742dcac8..de54dc37e24c 100644
--- a/xml/impl/src/com/intellij/javaee/ExternalResourceManagerImpl.java
+++ b/xml/impl/src/com/intellij/javaee/ExternalResourceManagerImpl.java
@@ -381,7 +381,7 @@ public class ExternalResourceManagerImpl extends ExternalResourceManagerEx imple
     Element child = element.getChild(HTML_DEFAULT_DOCTYPE_ELEMENT);
     if (child != null) {
       String text = child.getText();
-      if (FileUtil.toSystemIndependentName(text).endsWith("idea.jar!/resources/html5-schema/html5.rnc")) {
+      if (FileUtil.toSystemIndependentName(text).endsWith(".jar!/resources/html5-schema/html5.rnc")) {
         text = HTML5_DOCTYPE_ELEMENT;
       }
       myDefaultHtmlDoctype = text;