X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWsPreferences.java;h=ea3dd0da479cf92dfb967f716a87c613e916f612;hb=a9177efb4097815d9a8031aa22700c61a7d6260a;hp=e37f77c48087a18ce624c411a24c057e93ce110b;hpb=197e43e3b7bc447d36ebdd690f1e8133b4f6262b;p=jalview.git

diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java
index e37f77c..ea3dd0d 100644
--- 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)