X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWebserviceInfo.java;h=c6137ccf3fb0e7268c385596564e04e55bb53e40;hb=8fa69554edf6aeb278b4a4afd8e2b60264fdccd8;hp=2fc08e16d44a6383995c9b08a5ad46a0372cc9db;hpb=3d0101179759ef157b088ea135423cd909512d9f;p=jalview.git

diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java
index 2fc08e1..c6137cc 100644
--- a/src/jalview/gui/WebserviceInfo.java
+++ b/src/jalview/gui/WebserviceInfo.java
@@ -39,7 +39,6 @@ import java.util.Vector;
 import javax.swing.JComponent;
 import javax.swing.JEditorPane;
 import javax.swing.JInternalFrame;
-import javax.swing.JOptionPane;
 import javax.swing.JPanel;
 import javax.swing.JScrollPane;
 import javax.swing.JTabbedPane;
@@ -351,6 +350,7 @@ public class WebserviceInfo extends GWebserviceInfo
     frame.addInternalFrameListener(
             new javax.swing.event.InternalFrameAdapter()
             {
+              @Override
               public void internalFrameClosed(
                       javax.swing.event.InternalFrameEvent evt)
               {
@@ -676,6 +676,7 @@ public class WebserviceInfo extends GWebserviceInfo
    * @param e
    *          DOCUMENT ME!
    */
+  @Override
   protected void cancel_actionPerformed(ActionEvent e)
   {
     if (!serviceIsCancellable)
@@ -707,6 +708,7 @@ public class WebserviceInfo extends GWebserviceInfo
   {
     javax.swing.SwingUtilities.invokeLater(new Runnable()
     {
+      @Override
       public void run()
       {
         JvOptionPane.showInternalMessageDialog(Desktop.desktop, message,
@@ -756,6 +758,7 @@ public class WebserviceInfo extends GWebserviceInfo
 
     BufferedImage offscreen;
 
+    @Override
     public void run()
     {
       startTime = System.currentTimeMillis();
@@ -865,6 +868,7 @@ public class WebserviceInfo extends GWebserviceInfo
       }
     }
 
+    @Override
     public void paintComponent(Graphics g1)
     {
       drawPanel();
@@ -880,6 +884,7 @@ public class WebserviceInfo extends GWebserviceInfo
     renderAsHtml = b;
   }
 
+  @Override
   public void hyperlinkUpdate(HyperlinkEvent e)
   {
     Desktop.hyperlinkUpdate(e);