1.1 restoration

[mir.git] / source / mir / util / xml / XMLSAXParserProvider.java

diff --git a/source/mir/util/xml/XMLSAXParserProvider.java b/source/mir/util/xml/XMLSAXParserProvider.java
index 567e0fc..0e8a851 100755 (executable)
--- a/source/mir/util/xml/XMLSAXParserProvider.java
+++ b/source/mir/util/xml/XMLSAXParserProvider.java
@@ -5,6 +5,7 @@ import java.util.*;
 import org.xml.sax.InputSource;\r
 import org.xml.sax.SAXException;\r
 import org.xml.sax.Locator;\r
+import org.xml.sax.SAXParseException;\r
 import mir.util.ExceptionFunctions;\r
 \r
 /**\r
@@ -44,6 +45,10 @@ class XMLSAXParserProvider implements XMLParserEngine.XMLParserProvider {
         throw (XMLParserFailure) t;\r
       }\r
 \r
+      if (t instanceof SAXParseException) {\r
+        throw new XMLParserExc(t.getMessage());\r
+      }\r
+\r
       throw new XMLParserFailure(t);\r
     }\r
     catch (Throwable t) {\r