1.5 annotation fix

[jalview.git] / src / jalview / gui / WsPreferences.java

diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java
index 7ca4fd5..8bf81bb 100644 (file)
--- a/src/jalview/gui/WsPreferences.java
+++ b/src/jalview/gui/WsPreferences.java
@@ -212,7 +212,6 @@ public class WsPreferences extends GWsPreferences
   {
     new Thread(new Runnable() {
 
-      @Override
       public void run()
       {
         updateWsMenuConfig(false);
@@ -228,7 +227,6 @@ public class WsPreferences extends GWsPreferences
     {
       new Thread(new Runnable() {
 
-        @Override
         public void run()
         {
           progressBar.setVisible(true);
@@ -244,7 +242,6 @@ public class WsPreferences extends GWsPreferences
     } else {
       new Thread(new Runnable() {
 
-        @Override
         public void run()
         {
           Desktop.instance.startServiceDiscovery(false);