public synchronized void remove(Vector v) { if(v != null) { members.removeAll(v);
public synchronized void remove(Address old_member) { if(old_member != null) { members.remove(old_member);
    public synchronized void remove(Vector v) {        if(v != null) {            members.removeAll(v);        }    }