docs: private String getServerName (String osgiName) throws BadServerException {
  		String result = osgiName;
  		if (null == result) {
  			if (registeredServers.isEmpty()) { // wait for the first one
  				haveDefaultProviders = true; // only allow one server
  				result = FIRST_SERVER;
  			} else
  			if (registeredServers.size() == 1) { // use the only one
  				haveDefaultProviders = true; // only allow one server
  				result = registeredServers.keySet().iterator().next();
  			} else {
  				throw new BadServerException();
  			}
  		}
  		return result;
  	}