X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=source%2Fmir%2Fgenerator%2Ftal%2FCachingFileLoader.java;h=c9f042b928d6360f45872115e3a6ec530672c89c;hb=b7ea95152eaddbf069564a5f2f117774165d36e6;hp=df0c2b6a2d7982394113c6de7bf2131e7395601a;hpb=04bf29aa1f1abf43e96d0272b2a286f0c1f9fea8;p=mir.git

diff --git a/source/mir/generator/tal/CachingFileLoader.java b/source/mir/generator/tal/CachingFileLoader.java
index df0c2b6a..c9f042b9 100755
--- 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;
   }