X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fappletgui%2FRedundancyPanel.java;h=c4a6989e071dd18aaf4e2b9e94f7fdab7d955db8;hb=828bb8cde756e18e25ffae5ac47bf6832d32eeda;hp=8e364f0074d8e30905c6f9f31a66af167e32f4cc;hpb=5f090b7d1cb8836903474f8f4d5e475be142d30c;p=jalview.git

diff --git a/src/jalview/appletgui/RedundancyPanel.java b/src/jalview/appletgui/RedundancyPanel.java
index 8e364f0..c4a6989 100644
--- a/src/jalview/appletgui/RedundancyPanel.java
+++ b/src/jalview/appletgui/RedundancyPanel.java
@@ -1,6 +1,6 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2)
- * Copyright (C) 2014 The Jalview Authors
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
  * 
  * This file is part of Jalview.
  * 
@@ -233,9 +233,9 @@ public class RedundancyPanel extends SliderPanel implements Runnable,
     CommandI command = (CommandI) historyList.pop();
     command.undoCommand(null);
 
-    if (ap.av.historyList.contains(command))
+    if (ap.av.getHistoryList().contains(command))
     {
-      ap.av.historyList.removeElement(command);
+      ap.av.getHistoryList().remove(command);
       ap.alignFrame.updateEditMenuBar();
       ap.av.firePropertyChange("alignment", null, ap.av.getAlignment().getSequences());
     }