merged 1.1 branch into head

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

diff --git a/source/mir/util/xml/XMLParserEngine.java b/source/mir/util/xml/XMLParserEngine.java
index ee70a13..8202e0e 100755 (executable)
--- a/source/mir/util/xml/XMLParserEngine.java
+++ b/source/mir/util/xml/XMLParserEngine.java
@@ -31,19 +31,18 @@
 package mir.util.xml;
 
 import java.io.BufferedInputStream;
+import java.io.File;
 import java.io.FileInputStream;
 import java.io.InputStream;
-import java.io.StringReader;
-import java.io.File;
-import java.io.Reader;
 import java.io.InputStreamReader;
+import java.io.Reader;
+import java.io.StringReader;
 import java.io.UnsupportedEncodingException;
 import java.util.HashMap;
 import java.util.Map;
-
 import java.util.Stack;
 
-import mir.util.ExceptionFunctions;
+import mir.util.ExceptionRoutines;
 import mir.util.xml.html.XMLHTMLParserProvider;
 
 public class XMLParserEngine {
@@ -137,7 +136,7 @@ public class XMLParserEngine {
       provider.parse(aReader, runner);
     }
     catch (Throwable e) {
-      Throwable t = ExceptionFunctions.traceCauseException(e);
+      Throwable t = ExceptionRoutines.traceCauseException(e);
 
       if (t instanceof XMLParserExc && runner.getLocator()!=null) {
         ((XMLParserExc) t).setLocation(runner.getLocator().getLineNr(), runner.getLocator().getColumnNr());