Reset das_registry_url if null or empty

diff --git a/src/jalview/gui/DasSourceBrowser.java b/src/jalview/gui/DasSourceBrowser.java
index 7875d7b..e8109c7 100755 (executable)
--- a/src/jalview/gui/DasSourceBrowser.java
+++ b/src/jalview/gui/DasSourceBrowser.java
@@ -668,7 +668,10 @@ public class DasSourceBrowser extends GDasSourceBrowser
 \r
   public void saveProperties(Properties properties)\r
   {\r
-    properties.setProperty("DAS_REGISTRY_URL", registryURL.getText());\r
+    if (registryURL.getText() == null || registryURL.getText().length() < 1)\r
+      properties.remove("DAS_REGISTRY_URL");\r
+    else\r
+      properties.setProperty("DAS_REGISTRY_URL", registryURL.getText());\r
 \r
     StringBuffer sb = new StringBuffer();\r
     for(int r=0; r<table.getModel().getRowCount(); r++)\r