} else if (type == BrachaTouegDeadlockMessage.DONE ||
type == BrachaTouegDeadlockMessage.ACK) {
/* Both ACK and DONE Messages are handled in the same way. The
action take afterwards is independent on these types of
messages. */
value.receivedMessage(message.getSenderId(), message.getType());
}
}
ackSenderId = value.getIdWithInHoldAck();
if (value.isFree() &&