projects
/
mir.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
serious memory leak in the producer subsystem fixed
[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.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.HashMap;
import java.util.List;
import java.util.Map;
-import java.util.Vector;
public class CachingFileLoader {
private Map cachedObjects;
public class CachingFileLoader {
private Map cachedObjects;
@@
-49,7
+49,7
@@
public class CachingFileLoader {
public CachingFileLoader(int aCapacity, CachedFileObjectFactory aFactory) {
capacity = aCapacity;
cachedObjects = new HashMap();
public CachingFileLoader(int aCapacity, CachedFileObjectFactory aFactory) {
capacity = aCapacity;
cachedObjects = new HashMap();
- history = new
Vector
();
+ history = new
ArrayList
();
factory = aFactory;
}
factory = aFactory;
}