exception reporting for bad URLs

diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java
index 0bf0fa6..78e72b2 100755 (executable)
--- a/src/jalview/gui/WebserviceInfo.java
+++ b/src/jalview/gui/WebserviceInfo.java
@@ -29,6 +29,7 @@ import javax.swing.event.HyperlinkEvent.EventType;
 import javax.swing.text.html.HTMLEditorKit;
 import javax.swing.text.html.StyleSheet;
 
+import jalview.bin.Cache;
 import jalview.jbgui.*;
 import jalview.ws.WSClientI;
 
@@ -823,12 +824,16 @@ public class WebserviceInfo extends GWebserviceInfo implements
   {
     if (e.getEventType() == EventType.ACTIVATED)
     {
+      String url=null;
       try
       {
-        final String url = e.getURL().toString();
+        url = e.getURL().toString();
         Desktop.showUrl(url);
       } catch (Exception x)
       {
+        if (url!=null) { 
+          Cache.log.error("Couldn't handle string "+url+" as a URL.");
+        }
         // ignore any exceptions due to dud links.
       }