From a1fb7a1be7286a5bbe11bac3c5bd9fa3c4eb4981 Mon Sep 17 00:00:00 2001
From: kjvdheide <kjvanderheide@dundee.ac.uk>
Date: Thu, 26 Oct 2017 14:59:22 +0100
Subject: [PATCH] Couple more thread names

---
 src/jalview/gui/PopupMenu.java       |    4 ++--
 src/jalview/gui/RedundancyPanel.java |    2 +-
 src/jalview/gui/SplashScreen.java    |    5 ++++-
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java
index 850a09a..18dd8da 100644
--- a/src/jalview/gui/PopupMenu.java
+++ b/src/jalview/gui/PopupMenu.java
@@ -885,7 +885,7 @@ public class PopupMenu extends JPopupMenu implements ColourChangeListener
             showLink(url);
           }
 
-        }).start();
+        }, "ShowURLMenuThread").start();
       }
     });
 
@@ -931,7 +931,7 @@ public class PopupMenu extends JPopupMenu implements ColourChangeListener
             }
           }
 
-        }).start();
+        }, "ShowGroupURLMenuThread").start();
       }
     });
 
diff --git a/src/jalview/gui/RedundancyPanel.java b/src/jalview/gui/RedundancyPanel.java
index c4390c0..95862e7 100755
--- a/src/jalview/gui/RedundancyPanel.java
+++ b/src/jalview/gui/RedundancyPanel.java
@@ -96,7 +96,7 @@ public class RedundancyPanel extends GSliderPanel implements Runnable
     slider.setMaximum(100);
     slider.setValue(100);
 
-    Thread worker = new Thread(this);
+    Thread worker = new Thread(this, "CreateRedundancyPanelThread");
     worker.start();
 
     frame = new JInternalFrame();
diff --git a/src/jalview/gui/SplashScreen.java b/src/jalview/gui/SplashScreen.java
index 22b697e..e46c5e7 100755
--- a/src/jalview/gui/SplashScreen.java
+++ b/src/jalview/gui/SplashScreen.java
@@ -80,12 +80,13 @@ public class SplashScreen extends JPanel
   {
     this.interactiveDialog = interactive;
     // show a splashscreen that will disapper
-    Thread t = new Thread(this);
+    Thread t = new Thread(this, "ShowSplashScreenThread");
     t.start();
   }
 
   MouseAdapter closer = new MouseAdapter()
   {
+    @Override
     public void mousePressed(MouseEvent evt)
     {
       try
@@ -196,6 +197,7 @@ public class SplashScreen extends JPanel
   /**
    * Create splash screen, display it and clear it off again.
    */
+  @Override
   public void run()
   {
     initSplashScreenWindow();
@@ -267,6 +269,7 @@ public class SplashScreen extends JPanel
       return new Dimension(image.getWidth(this) + 8, image.getHeight(this));
     }
 
+    @Override
     public void paintComponent(Graphics g)
     {
       g.setColor(Color.white);
-- 
1.7.10.2