don't system.ext

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 693090d..d79f472 100755 (executable)
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -223,8 +223,7 @@ public class Desktop extends jalview.jbgui.GDesktop
 */\r
  public void quit_actionPerformed(ActionEvent e)\r
  {\r
-   this.setVisible(false);\r
-   System.exit(0);\r
+   jalview.bin.Jalview.applet.destroy();\r
  }\r
 \r
 \r