merged 1.1 branch into head

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

diff --git a/source/mir/util/xml/html/HTMLSchemaInformation.java b/source/mir/util/xml/html/HTMLSchemaInformation.java
index 5856214..8250d22 100755 (executable)
--- a/source/mir/util/xml/html/HTMLSchemaInformation.java
+++ b/source/mir/util/xml/html/HTMLSchemaInformation.java
@@ -1,6 +1,9 @@
 package mir.util.xml.html;
 
-import java.util.*;
+import java.util.ArrayList;
+import java.util.HashMap;
+import java.util.List;
+import java.util.Map;
 
 public class HTMLSchemaInformation {
   private Map tags;