JAL-2795 added error catching for invalid identifier
[jalview.git] / src / jalview / gui / SplashScreen.java
index 16ec9d9..e46c5e7 100755 (executable)
@@ -43,8 +43,8 @@ import javax.swing.event.HyperlinkListener;
  * @author $author$
  * @version $Revision$
  */
-public class SplashScreen extends JPanel implements Runnable,
-        HyperlinkListener
+public class SplashScreen extends JPanel
+        implements Runnable, HyperlinkListener
 {
   boolean visible = true;
 
@@ -80,12 +80,13 @@ public class SplashScreen extends JPanel implements Runnable,
   {
     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
@@ -111,14 +112,14 @@ public class SplashScreen extends JPanel implements Runnable,
     try
     {
       java.net.URL url = getClass().getResource("/images/Jalview_Logo.png");
-      java.net.URL urllogo = getClass().getResource(
-              "/images/Jalview_Logo_small.png");
+      java.net.URL urllogo = getClass()
+              .getResource("/images/Jalview_Logo_small.png");
 
       if (url != null)
       {
         image = java.awt.Toolkit.getDefaultToolkit().createImage(url);
-        Image logo = java.awt.Toolkit.getDefaultToolkit().createImage(
-                urllogo);
+        Image logo = java.awt.Toolkit.getDefaultToolkit()
+                .createImage(urllogo);
         MediaTracker mt = new MediaTracker(this);
         mt.addImage(image, 0);
         mt.addImage(logo, 1);
@@ -196,6 +197,7 @@ public class SplashScreen extends JPanel implements Runnable,
   /**
    * Create splash screen, display it and clear it off again.
    */
+  @Override
   public void run()
   {
     initSplashScreenWindow();
@@ -267,6 +269,7 @@ public class SplashScreen extends JPanel implements Runnable,
       return new Dimension(image.getWidth(this) + 8, image.getHeight(this));
     }
 
+    @Override
     public void paintComponent(Graphics g)
     {
       g.setColor(Color.white);