rebuilding head

[mir.git] / source / mir / rss / RSSData.java

diff --git a/source/mir/rss/RSSData.java b/source/mir/rss/RSSData.java
index a5e6181..d858aed 100755 (executable)
--- a/source/mir/rss/RSSData.java
+++ b/source/mir/rss/RSSData.java
@@ -32,7 +32,7 @@ package mir.rss;
 import java.util.HashMap;
 import java.util.List;
 import java.util.Map;
-import java.util.Vector;
+import java.util.ArrayList;
 
 public class RSSData {
   private List resources;
@@ -40,7 +40,7 @@ public class RSSData {
   private Map identifierToResource;
 
   protected RSSData() {
-    resources = new Vector();
+    resources = new ArrayList();
     rdfClassToResources = new HashMap();
     identifierToResource = new HashMap();
   }
@@ -53,7 +53,7 @@ public class RSSData {
     resources.add(aResource);
     List resourcesForClass = (List) rdfClassToResources.get(aResource.getRdfClass());
     if (resourcesForClass==null) {
-      resourcesForClass = new Vector();
+      resourcesForClass = new ArrayList();
       rdfClassToResources.put(aResource.getRdfClass(), resourcesForClass);
     }
     resourcesForClass.add(aResource);