always update PDBEntry list if DBRefEntries might have changed

diff --git a/src/jalview/io/VamsasAppDatastore.java b/src/jalview/io/VamsasAppDatastore.java
index 6c35fa4..8f26680 100644 (file)
--- a/src/jalview/io/VamsasAppDatastore.java
+++ b/src/jalview/io/VamsasAppDatastore.java
@@ -1224,6 +1224,7 @@ public class VamsasAppDatastore
               new jalview.io.vamsas.Dbref(this, dbref[db], vdseq, dsseq);
 
             }
+            dsseq.updatePDBIds();
           }
         }
 

diff --git a/src/jalview/ws/ASequenceFetcher.java b/src/jalview/ws/ASequenceFetcher.java
index c6e167b..1e1f6f8 100644 (file)
--- a/src/jalview/ws/ASequenceFetcher.java
+++ b/src/jalview/ws/ASequenceFetcher.java
@@ -167,7 +167,14 @@ public class ASequenceFetcher
     if (rseqs.size() > 0)\r
     {\r
       ret = new SequenceI[rseqs.size()];\r
-      rseqs.copyInto(ret);\r
+      Enumeration sqs = rseqs.elements();\r
+      int si=0;\r
+      while (sqs.hasMoreElements())\r
+      {\r
+        SequenceI s = (SequenceI) sqs.nextElement();\r
+        ret[si++] = s;\r
+        s.updatePDBIds();\r
+      }\r
     }\r
     return ret;\r
   }\r