if (s != null) urls.add(URLString + "/$" + s + "/");
  public static Vector getAgentURLs(String URLString) throws Exception {    String urlSpec = URLString + "/" + ClientServletUtil.AGENT_PROVIDER_SERVLET;    URL url = new URL(urlSpec);    URLConnection connection = url.openConnection();    connection.setDoInput(true);    connection.setDoOutput(true);    InputStream is = connection.getInputStream();    BufferedReader r =      new BufferedReader(new InputStreamReader(is));    Vector urls = new Vector();    String s = r.readLine();    while (s != null) {      s = r.readLine();      if (s != null)        urls.add(URLString + "/$" + s + "/");    }    return urls;  }