if(membership_listener != null)
} if (membership_listener != null) {
        public void suspect(Address suspected_mbr) {            if(corr != null)                corr.receiveSuspect(suspected_mbr);            if(membership_listener != null)                membership_listener.suspect(suspected_mbr);        }