str=props.getProperty("timeout_get_appl_state"); if(str != null) { timeout_get_appl_state=Long.parseLong(str); props.remove("timeout_get_appl_state"); }    str=props.getProperty("timeout_return_state"); if(str != null) { timeout_return_state=Long.parseLong(str); props.remove("timeout_return_state"); }
    public boolean setProperties(Properties props) {        String str;        super.setProperties(props);        // Milliseconds to wait for application to provide requested state, events are        // STATE_TRANSFER up and STATE_TRANSFER_OK down        str=props.getProperty("timeout_get_appl_state");        if(str != null) {            timeout_get_appl_state=Long.parseLong(str);            props.remove("timeout_get_appl_state");        }        // Milliseconds to wait for 1 or all members to return its/their state. 0 means wait        // forever. States are retrieved using GroupRequest/RequestCorrelator        str=props.getProperty("timeout_return_state");        if(str != null) {            timeout_return_state=Long.parseLong(str);            props.remove("timeout_return_state");        }        if(props.size() > 0) {            System.err.println("STATE_TRANSFER.setProperties(): the following " +                    "properties are not recognized:");            props.list(System.out);            return false;        }        return true;    }