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