X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWsPreferences.java;h=8bf81bb94ec9b220558be873bb3499a459e63fd6;hb=439d5ad378494d0afa9668e2308ad605c51afcc0;hp=7ca4fd5d94905b70b3d1a3498c7989afc7c89842;hpb=783111be4a80d619928cd421247bafaba4710643;p=jalview.git

diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java
index 7ca4fd5..8bf81bb 100644
--- 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);