hdr=(StableHeader)msg.removeHeader(name);
if(hdr == null)
break;
switch(hdr.type) {
case StableHeader.STABLE_GOSSIP:
<BUG>handleStableGossip(msg.getSrc(), hdr.stableDigest);
</BUG>
break;
case StableHeader.STABILITY:
handleStabilityMessage(hdr.stableDigest, msg.getSrc());

hdr=(StableHeader)msg.removeHeader(name);
if(hdr == null)
break;
switch(hdr.type) {
case StableHeader.STABLE_GOSSIP:
handleStableMessage(msg.getSrc(), hdr.stableDigest);
break;
case StableHeader.STABILITY:
handleStabilityMessage(hdr.stableDigest, msg.getSrc());
