1.1 restoration

[mir.git] / source / mir / generator / tal / CachingFileLoader.java

diff --git a/source/mir/generator/tal/CachingFileLoader.java b/source/mir/generator/tal/CachingFileLoader.java
index df0c2b6..c9f042b 100755 (executable)
--- a/source/mir/generator/tal/CachingFileLoader.java
+++ b/source/mir/generator/tal/CachingFileLoader.java
@@ -35,10 +35,10 @@ import java.io.File;
 import java.io.FileInputStream;
 import java.io.FileNotFoundException;
 import java.io.InputStream;
+import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.List;
 import java.util.Map;
-import java.util.Vector;
 
 public class CachingFileLoader {
   private Map cachedObjects;
@@ -49,7 +49,7 @@ public class CachingFileLoader {
   public CachingFileLoader(int aCapacity, CachedFileObjectFactory aFactory) {
     capacity = aCapacity;
     cachedObjects = new HashMap();
-    history = new Vector();
+    history = new ArrayList();
     factory = aFactory;
   }