Merge branch 'develop' into features/JAL-2316
[jalview.git] / src / jalview / appletgui / APopupMenu.java
index 055fcf3..8fd317a 100644 (file)
@@ -210,7 +210,7 @@ public class APopupMenu extends java.awt.PopupMenu implements
   Menu menu1 = new Menu();
 
   public APopupMenu(AlignmentPanel apanel, final SequenceI seq,
-          Vector<String> links)
+          List<String> links)
   {
     // /////////////////////////////////////////////////////////
     // If this is activated from the sequence panel, the user may want to