Merge branch 'develop' into Jalview-JS/develop
[jalview.git] / src / jalview / util / UrlLink.java
index 18ee9b6..0141a6a 100644 (file)
@@ -612,17 +612,17 @@ public class UrlLink
     if (usesDBAccession()) // link is ID
     {
       // collect matching db-refs
-      DBRefEntry[] dbr = DBRefUtils.selectRefs(seq.getDBRefs(),
+      List<DBRefEntry> dbr = DBRefUtils.selectRefs(seq.getDBRefs(),
               new String[]
               { target });
 
       // if there are any dbrefs which match up with the link
       if (dbr != null)
       {
-        for (int r = 0; r < dbr.length; r++)
+        for (int r = 0, nd = dbr.size(); r < nd; r++)
         {
           // create Bare ID link for this URL
-          createBareURLLink(dbr[r].getAccessionId(), true, linkset);
+          createBareURLLink(dbr.get(r).getAccessionId(), true, linkset);
         }
       }
     }