finally {
completed.signalAll(); // wakes up execute()
lock.unlock();
}
checkCompletion(this);
<BUG>}
public void suspect(Address suspected_member) {</BUG>
if(suspected_member == null || !suspected_member.equals(target))
return;
lock.lock();

finally {
completed.signalAll(); // wakes up execute()
lock.unlock();
}
checkCompletion(this);
}
public boolean responseReceived() {return num_received >= 1;}
public void suspect(Address suspected_member) {
if(suspected_member == null || !suspected_member.equals(target))
return;
lock.lock();
