JAL-4059 Tidy getting the namespace, and save the namespace in the Jalview instance...

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

diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java
index e37f77c..ea3dd0d 100644 (file)
--- a/src/jalview/gui/WsPreferences.java
+++ b/src/jalview/gui/WsPreferences.java
@@ -39,6 +39,8 @@ import javax.swing.table.TableCellRenderer;
 
 import jalview.bin.Cache;
 import jalview.jbgui.GWsPreferences;
+import jalview.util.IdUtils;
+import jalview.util.IdUtils.IdType;
 import jalview.util.MessageManager;
 import jalview.ws.jws2.Jws2Discoverer;
 import jalview.ws.rest.RestServiceDescription;
@@ -614,7 +616,7 @@ public class WsPreferences extends GWsPreferences
         @Override
         public void run()
         {
-          long ct = System.currentTimeMillis();
+          long ct = IdUtils.newId(IdType.PROGRESS);
           Desktop.instance.setProgressBar(MessageManager
                   .getString("status.refreshing_web_service_menus"), ct);
           if (lastrefresh != update)