<BUG>}public class EXAMPLE extends Protocol {</BUG><CONTEXT>ExampleHeader() {}public String toString() {return "[EXAMPLE: <variables> ]";}<extra_id_0>final Vector members=new Vector();public String getName() {return "EXAMPLE";</CONTEXT>
@Unsupportedpublic class EXAMPLE extends Protocol {