}
    private void setMembers (Vector new_mbrs)    {        if(new_mbrs != null) {            members.removeAllElements();            for(int i=0; i < new_mbrs.size(); i++)                members.addElement(new_mbrs.elementAt(i));        }    }