Merge branch 'Jalview-JS/develop' of https://source.jalview.org/git/jalview.git into...

diff --combined src/jalview/structure/StructureSelectionManager.java
index 636a460,0f8157b..f8048cd
--- 1/src/jalview/structure/StructureSelectionManager.java
--- 2/src/jalview/structure/StructureSelectionManager.java
+++ b/src/jalview/structure/StructureSelectionManager.java
@@@ -1275,43 -1275,39 +1275,43 @@@ public class StructureSelectionManager 
    {
      if (mappings != null)
      {
-     mappings.clear();
+       mappings.clear();
      }
      if (seqmappings != null)
      {
-     seqmappings.clear();
+       seqmappings.clear();
      }
      if (sel_listeners != null)
      {
-     sel_listeners.clear();
+       sel_listeners.clear();
      }
      if (listeners != null)
      {
-     listeners.clear();
+       listeners.clear();
      }
      if (commandListeners != null)
      {
-     commandListeners.clear();
+       commandListeners.clear();
      }
      if (view_listeners != null)
      {
-     view_listeners.clear();
+       view_listeners.clear();
      }
      if (pdbFileNameId != null)
      {
-     pdbFileNameId.clear();
+       pdbFileNameId.clear();
      }
      if (pdbIdFileName != null)
      {
-     pdbIdFileName.clear();
+       pdbIdFileName.clear();
      }
    }
  
 -  public void addSelectionListener(SelectionListener selecter)
 +  public List<SelectionListener> getListeners() {
 +    return sel_listeners;
 +  }
 +  
 +   public void addSelectionListener(SelectionListener selecter)
    {
      if (!sel_listeners.contains(selecter))
      {