protected void addUrl(URL url){
  if (urls.contains(url)) {
    LOGGER.info("Skipped CRL url (duplicate): " + url);
    return;
  }
  urls.add(url);
  LOGGER.info("Added CRL url: " + url);
}

protected void addUrl ( URL url ) { if ( urls . contains ( url ) ) { LOGGER . info ( "Skipped CRL url (duplicate): " + url ) ; return ; } urls . add ( url ) ; LOGGER . info ( "Added CRL url: " + url ) ; }
adds an url to the list of crl urls
