reintroduced StringUtil.regexpReplace
[mir.git] / source / mir / util / CachingRewindableIterator.java
index 77be4ba..d0f83c0 100755 (executable)
@@ -1,11 +1,35 @@
+/*
+ * Copyright (C) 2001-2006 The Mir-coders group
+ *
+ * This file is part of Mir.
+ *
+ * Mir is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * Mir is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Mir; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ *
+ * In addition, as a special exception, The Mir-coders gives permission to link
+ * the code of this program with  any library licensed under the Apache Software License,
+ * and distribute linked combinations including the two.  You must obey the
+ * GNU General Public License in all respects for all of the code used other than
+ * the above mentioned libraries.  If you modify this file, you may extend this
+ * exception to your version of the file, but you are not obligated to do so.
+ * If you do not wish to do so, delete this exception statement from your version.
+ */
 package mir.util;
 
-import java.util.*;
-
-import java.util.*;
-import mir.storage.*;
-import mir.util.*;
-import mir.entity.*;
+import java.util.ArrayList;
+import java.util.Iterator;
+import java.util.List;
 
 public class CachingRewindableIterator implements RewindableIterator {
   private Iterator master;
@@ -14,7 +38,7 @@ public class CachingRewindableIterator implements RewindableIterator {
 
   public CachingRewindableIterator(Iterator anIterator) {
     master = anIterator;
-    cachedItems = new Vector();
+    cachedItems = new ArrayList();
     iterationPosition = 0;
   }
 
@@ -41,5 +65,5 @@ public class CachingRewindableIterator implements RewindableIterator {
 
   public void rewind() {
     iterationPosition=0;
-  };
+  }
 }
\ No newline at end of file