jdk1.2 compatibility
[jalview.git] / src / jalview / structure / StructureSelectionManager.java
index 5a2ac70..88d9f24 100644 (file)
@@ -599,7 +599,7 @@ public class StructureSelectionManager
   {
     if (sel_listeners.contains(toremove))
     {
-      sel_listeners.remove(toremove);
+      sel_listeners.removeElement(toremove);
     }
   }
   public synchronized void sendSelection(jalview.datamodel.SequenceGroup selection, jalview.datamodel.ColumnSelection colsel, SelectionSource source)