merged 1.1 branch into head

[mir.git] / source / mir / util / StructuredContentParser.java

diff --git a/source/mir/util/StructuredContentParser.java b/source/mir/util/StructuredContentParser.java
index 412ecad..60a8866 100755 (executable)
--- a/source/mir/util/StructuredContentParser.java
+++ b/source/mir/util/StructuredContentParser.java
@@ -30,10 +30,10 @@
 
 package mir.util;
 
+import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.List;
 import java.util.Map;
-import java.util.Vector;
 
 
 /**
@@ -138,7 +138,7 @@ public class StructuredContentParser {
   }
 
   public static List parseList(Scanner aScanner) {
-    List result = new Vector();
+    List result = new ArrayList();
     aScanner.skipSpace();
     if (aScanner.peek() == '[')
       aScanner.scan();