merged 1.1 branch into head

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

diff --git a/source/mir/util/xml/XMLReaderTool.java b/source/mir/util/xml/XMLReaderTool.java
index fb4859d..84fa8b4 100755 (executable)
--- a/source/mir/util/xml/XMLReaderTool.java
+++ b/source/mir/util/xml/XMLReaderTool.java
@@ -120,8 +120,7 @@ public class XMLReaderTool {
 
     if (parts.size()==1)
       return (String) parts.get(0);
-    else
-      return (String) parts.get(1);
+               return (String) parts.get(1);
   }
 
   /**