X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fdatamodel%2FMapping.java;h=eb594be726254e46996edaa5e68af9b17af6adf4;hb=fb1ee2952cd17c79c0226c9f79a7a78e9df778a3;hp=6c619ceba51fb85361b4a9fe898b1308cc5bd7e4;hpb=a207f4080b01543b48b80f6f3eb331b75b63bdc6;p=jalview.git

diff --git a/src/jalview/datamodel/Mapping.java b/src/jalview/datamodel/Mapping.java
index 6c619ce..eb594be 100644
--- a/src/jalview/datamodel/Mapping.java
+++ b/src/jalview/datamodel/Mapping.java
@@ -693,6 +693,7 @@ public class Mapping
    * 
    * @see java.lang.Object#finalize()
    */
+  @Override
   protected void finalize() throws Throwable
   {
     map = null;