JAL-4389 Adjust preferences menu to work with any WSDiscoverer

[jalview.git] / src / jalview / jbgui / GPreferences.java

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index dfe08ed..099f75c 100755 (executable)
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -358,7 +358,6 @@ public class GPreferences extends JPanel
    */
   protected JPanel wsTab = new JPanel();
 
-  protected JPanel slivkaTab = new JPanel();
   /*
    * Backups tab components
    * a lot of these are member variables instead of local variables only so that they
@@ -405,7 +404,7 @@ public class GPreferences extends JPanel
 
   protected JTextArea backupfilesExampleLabel = new JTextArea();
 
-  private final JTabbedPane tabbedPane = new JTabbedPane();
+  protected final JTabbedPane tabbedPane = new JTabbedPane();
 
   private JLabel messageLabel = new JLabel("", JLabel.CENTER);
 
@@ -502,11 +501,8 @@ public class GPreferences extends JPanel
       tabbedPane.add(initStartupTab(),
               MessageManager.getString("label.startup"));
       wsTab.setLayout(new BorderLayout());
-      tabbedPane.add(wsTab, MessageManager.getString("label.web_services"));
+      tabbedPane.add(wsTab, "JABAWS " + MessageManager.getString("label.web_services"));
     }
-    
-    slivkaTab.setLayout(new BorderLayout());
-    tabbedPane.add(slivkaTab, "Slivka Services");
 
     /*
      * Handler to validate a tab before leaving it - currently only for