initial_hosts=createInitialHosts(str);
try { initial_hosts=createInitialHosts(str); } catch(UnknownHostException e) { log.error("failed creating initial list of hosts", e); return false; }
    public boolean setProperties(Properties props) {        String str;        str=props.getProperty("port_range");           // if member cannot be contacted on base port,        if(str != null) {                              // how many times can we increment the port            port_range=Integer.parseInt(str);            if (port_range < 1) {               port_range = 1;                }            props.remove("port_range");        }        str=props.getProperty("initial_hosts");        if(str != null) {            props.remove("initial_hosts");            initial_hosts=createInitialHosts(str);        }        return super.setProperties(props);    }