From 92b70c9562a551d2141201df5c40fe0de972173c Mon Sep 17 00:00:00 2001
From: hansonr <hansonr@STO24954W.ad.stolaf.edu>
Date: Sun, 31 Mar 2019 12:19:30 -0500
Subject: [PATCH] adds Desktop name jalview-desktop;

---
 src/jalview/jbgui/GDesktop.java |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index b6408b8..315c2f7 100755
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -42,6 +42,7 @@ import javax.swing.JMenuItem;
  * @author $author$
  * @version $Revision$
  */
+@SuppressWarnings("serial")
 public class GDesktop extends JFrame
 {
 
@@ -168,7 +169,7 @@ public class GDesktop extends JFrame
    */
   private void jbInit() throws Exception
   {
-
+    setName("jalview-desktop");
     FileMenu.setText(MessageManager.getString("action.file"));
     HelpMenu.setText(MessageManager.getString("action.help"));
     VamsasMenu.setText("Vamsas");
-- 
1.7.10.2