X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=source%2Fmir%2Futil%2FPropertiesManipulator.java;h=a820f57b0771f3e25e4aa6411fb2857c100f5db4;hb=95c2e3a74f492f6f61d4dbe8bb47996f43af0627;hp=0044577e60236205219a4e3e6030086cfd3928a1;hpb=213122e7c65211f549722f05aa8e0135f15af35c;p=mir.git

diff --git a/source/mir/util/PropertiesManipulator.java b/source/mir/util/PropertiesManipulator.java
index 0044577e..a820f57b 100755
--- a/source/mir/util/PropertiesManipulator.java
+++ b/source/mir/util/PropertiesManipulator.java
@@ -35,7 +35,11 @@ import java.io.LineNumberReader;
 import java.io.OutputStream;
 import java.io.OutputStreamWriter;
 import java.io.PrintWriter;
-import java.util.*;
+import java.util.ArrayList;
+import java.util.HashMap;
+import java.util.Iterator;
+import java.util.List;
+import java.util.Map;
 
 import multex.Exc;
 import multex.Failure;