From f339dd235e03f98982014d926b807ae52bc825eb Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 2 Apr 2007 12:28:28 +0000
Subject: [PATCH] Destroy alignment moved to finalize

---
 src/jalview/datamodel/Alignment.java  |    4 ++--
 src/jalview/datamodel/AlignmentI.java |    1 -
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/jalview/datamodel/Alignment.java b/src/jalview/datamodel/Alignment.java
index ddb58c3..b2a647a 100755
--- a/src/jalview/datamodel/Alignment.java
+++ b/src/jalview/datamodel/Alignment.java
@@ -182,10 +182,10 @@ public class Alignment
     return groups;
   }
 
-  public void destroyAlignment()
+  public void finalize()
   {
     if(getDataset()!=null)
-      getDataset().destroyAlignment();
+      getDataset().finalize();
 
     dataset = null;
     sequences = null;
diff --git a/src/jalview/datamodel/AlignmentI.java b/src/jalview/datamodel/AlignmentI.java
index 3e9e265..bfa0676 100755
--- a/src/jalview/datamodel/AlignmentI.java
+++ b/src/jalview/datamodel/AlignmentI.java
@@ -157,7 +157,6 @@ public interface AlignmentI
    */
   public Vector getGroups();
 
-  public void destroyAlignment();
 
   /**
    * Deletes all groups from this alignment.
-- 
1.7.10.2