if(log.isInfoEnabled()) log.info("router_host=" + router_host + ";router_port=" + router_port);
if(log.isDebugEnabled()) { log.debug("router_host=" + router_host + ";router_port=" + router_port); }
    public boolean setProperties(Properties props) {        String str;        super.setProperties(props);        str=props.getProperty("router_host");        if(str != null) {            router_host=str;            props.remove("router_host");        }        str=props.getProperty("router_port");        if(str != null) {            router_port=Integer.parseInt(str);            props.remove("router_port");        }            if(log.isInfoEnabled()) log.info("router_host=" + router_host + ";router_port=" + router_port);        if(router_host == null || router_port == 0) {            if(log.isErrorEnabled()) log.error("both router_host and router_port have to be set !");            //System.exit(-1);        }        if(props.size() > 0) {            StringBuffer sb=new StringBuffer();            for(Enumeration e=props.propertyNames(); e.hasMoreElements();) {                sb.append(e.nextElement().toString());                if(e.hasMoreElements()) {                    sb.append(", ");                }            }            if(log.isErrorEnabled()) log.error("The following properties are not recognized: " + sb);            return false;        }        return true;    }