cleanup / abuse system fix / prepping for a release

[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 9b4d928..8202e0e 100755 (executable)
--- a/source/mir/util/xml/XMLParserEngine.java
+++ b/source/mir/util/xml/XMLParserEngine.java
@@ -42,7 +42,7 @@ 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 {
@@ -136,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());