import java.io.*;
import java.util.*;
public class STABLE extends Protocol {
Address             local_addr=null;
final Vector        mbrs=new Vector();
<BUG>final Digest        digest=new Digest(10);        // keeps track of the highest seqnos from all members
final Vector        heard_from=new Vector();      // keeps track of who we already heard from (STABLE_GOSSIP msgs)</BUG>
long                desired_avg_gossip=20000;
long                stability_delay=6000;
StabilitySendTask   stability_task=null;

import java.io.*;
import java.util.*;
public class STABLE extends Protocol {
Address             local_addr=null;
final Vector        mbrs=new Vector();
final Digest        digest=new Digest(10);        // keeps track of the highest seqnos from all members
final Digest        latest_local_digest=new Digest(10); // keeps track of the latest digests received from NAKACK
final Vector        heard_from=new Vector();      // keeps track of who we already heard from (STABLE_GOSSIP msgs)
long                desired_avg_gossip=20000;
long                stability_delay=6000;
StabilitySendTask   stability_task=null;
