prevented URLs appearing in both the 'bad ' and the 'no services from' URL list.

diff --git a/src/jalview/ws/jws2/Jws2Discoverer.java b/src/jalview/ws/jws2/Jws2Discoverer.java
index f4c8896..198f01d 100644 (file)
--- a/src/jalview/ws/jws2/Jws2Discoverer.java
+++ b/src/jalview/ws/jws2/Jws2Discoverer.java
@@ -700,7 +700,7 @@ public class Jws2Discoverer implements Runnable, WSMenuEntryProviderI
   }
 
   /**
-   * add an 'empty' JABA server to the list
+   * add an 'empty' JABA server to the list. Only servers not already in the 'bad URL' list will be added to this list.
    * 
    * @param jwsservers
    */
@@ -710,7 +710,10 @@ public class Jws2Discoverer implements Runnable, WSMenuEntryProviderI
     {
       urlsWithoutServices = new Vector<String>();
     }
-    if (!urlsWithoutServices.contains(jwsservers))
+
+    if ((invalidServiceUrls == null || !invalidServiceUrls
+            .contains(jwsservers))
+            && !urlsWithoutServices.contains(jwsservers))
     {
       urlsWithoutServices.add(jwsservers);
     }
@@ -747,7 +750,7 @@ public class Jws2Discoverer implements Runnable, WSMenuEntryProviderI
       if (getInvalidServiceUrls() != null
               && getInvalidServiceUrls().size() > 0)
       {
-        ermsg.append("Invalid Service URLS: \n");
+        ermsg.append("URLs that could not be contacted: \n");
         for (String svcurl : getInvalidServiceUrls())
         {
           if (list)