public boolean setProperties(Properties props) { String str; this.props.putAll(props); // redundant 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=Util.getProperty(new String[]{Global.TCPPING_INITIAL_HOSTS}, props, "initial_hosts", false, null); if(str != null) { props.remove("initial_hosts"); try { initial_hosts=createInitialHosts(str); } catch(UnknownHostException e) { log.error("failed creating initial list of hosts", e); return false; } } return super.setProperties(props); }