merged 1.1 branch into head

[mir.git] / source / mir / util / xml / html / HTMLParser.java

diff --git a/source/mir/util/xml/html/HTMLParser.java b/source/mir/util/xml/html/HTMLParser.java
index 669a9bd..8ffcf18 100755 (executable)
--- a/source/mir/util/xml/html/HTMLParser.java
+++ b/source/mir/util/xml/html/HTMLParser.java
@@ -1,7 +1,11 @@
 package mir.util.xml.html;
 
-import java.io.*;
-import java.util.*;
+import java.io.IOException;
+import java.io.Reader;
+import java.util.HashMap;
+import java.util.Iterator;
+import java.util.Map;
+import java.util.Stack;
 
 /**
  *