remove name of progress bar when stopping ws refresh progress.

diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java
index d6446af..4fb8e6e 100644 (file)
--- a/src/jalview/gui/WsPreferences.java
+++ b/src/jalview/gui/WsPreferences.java
@@ -360,7 +360,7 @@ public class WsPreferences extends GWsPreferences
           Desktop.instance.setProgressBar("Refreshing Web Service Menus",
                   ct);
           Desktop.instance.startServiceDiscovery(true);
-          Desktop.instance.setProgressBar("Refreshing Web Service Menus",
+          Desktop.instance.setProgressBar(null,
                   ct);
         }