+ try{
+ StringTokenizer st = new StringTokenizer(RootServiceURLs, ",");
+ while (st.hasMoreElements())
+ {
+ String url = null;
+ try
+ {
+ java.net.URL u = new java.net.URL(url = st.nextToken());
+ if (!urls.contains(u))
+ urls.add(u);
+ else
+ jalview.bin.Jalview.log.info("Ignoring duplicate url in DISCOVERY_URLS list");
+ }
+ catch (Exception ex)
+ {
+ jalview.bin.Jalview.log.warn(
+ "Problem whilst trying to make a URL from '" +
+ ( (url != null) ? url : "<null>")+"'");
+ jalview.bin.Jalview.log.warn("This was probably due to a malformed comma separated list"
+ +" in the DISCOVERY_URLS entry of $(HOME)/.jalview_properties)");
+ jalview.bin.Jalview.log.debug("Exception was ",ex);
+ }
+ }
+ }catch(Exception ex)
+ {jalview.bin.Jalview.log.warn("Error parsing comma separated list of urls in DISCOVERY_URLS.",ex);}
+ if (urls.size()>0)
+ return urls;
+ return null;
+ }