X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGWsPreferences.java;h=3ad5bb1409698f0beefa56ac8e25328c07cb86db;hb=915ef58a91b8aa971abc3ee6ec68fcf85c872d25;hp=889fcb7a6c281451d5abe6cc61a989dbcba7c988;hpb=72e6cc6bc2d9ca92902d91e30522c1192331d36d;p=jalview.git

diff --git a/src/jalview/jbgui/GWsPreferences.java b/src/jalview/jbgui/GWsPreferences.java
index 889fcb7..3ad5bb1 100644
--- a/src/jalview/jbgui/GWsPreferences.java
+++ b/src/jalview/jbgui/GWsPreferences.java
@@ -178,16 +178,6 @@ public class GWsPreferences extends JPanel
         indexByType_actionPerformed(e);
       }
     });
-    enableEnfinServices
-            .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
-    enableEnfinServices.setText(MessageManager.getString("label.enable_enfin_services"));
-    enableEnfinServices.addActionListener(new ActionListener()
-    {
-      public void actionPerformed(ActionEvent e)
-      {
-        enableEnfinServices_actionPerformed(e);
-      }
-    });
     enableJws2Services
             .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
     enableJws2Services.setText(MessageManager.getString("label.enable_jabaws_services"));
@@ -398,7 +388,6 @@ public class GWsPreferences extends JPanel
     wsMenuButtons.add(indexByHost);
     wsMenuButtons.add(indexByType);
     wsMenuButtons.add(enableJws2Services);
-    wsMenuButtons.add(enableEnfinServices);
     wsMenuButtons.add(displayWsWarning);
     wsMenuRefreshButs.setLayout(new FlowLayout());
     wsMenuRefreshButs.setPreferredSize(new Dimension(480, 30));