windowclose handler now calls EmbmenuFrame garbage collector.

diff --git a/src/jalview/bin/JalviewLite.java b/src/jalview/bin/JalviewLite.java
index a1f9e8e..4d45f8c 100755 (executable)
--- a/src/jalview/bin/JalviewLite.java
+++ b/src/jalview/bin/JalviewLite.java
@@ -343,6 +343,10 @@ public class JalviewLite
         }
         lastFrameX -= 40;
         lastFrameY -= 40;
+        if (frame instanceof EmbmenuFrame)
+        {
+          ((EmbmenuFrame) frame).destroyMenus();
+        }
         frame.setMenuBar(null);
         frame.dispose();
       }