remove should be removeElement
authoramwaterhouse <Andrew Waterhouse>
Thu, 26 Apr 2007 09:26:53 +0000 (09:26 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 26 Apr 2007 09:26:53 +0000 (09:26 +0000)
src/jalview/datamodel/Sequence.java

index 718d72b..81a0f40 100755 (executable)
@@ -766,7 +766,7 @@ public class Sequence
   {
     if(this.annotation!=null)
     {
-      this.annotation.remove(annotation);
+      this.annotation.removeElement(annotation);
       if(this.annotation.size()==0)
         this.annotation = null;
     }