1.1 methods
[jalview.git] / src / jalview / util / DBRefUtils.java
index 81710dd..3ea47f2 100755 (executable)
@@ -54,7 +54,7 @@ public class DBRefUtils
     {
       if (srcs.containsKey(dbrefs[i].getSource()))
       {
-        res.add(dbrefs[i]);
+        res.addElement(dbrefs[i]);
       }
     }