catch(IllegalAccessError e) {
System.out.println("received exception \"" + e.toString() + "\" - as expected");
}
MutableDigest tmp=new MutableDigest(md);
tmp.incrementHighestDeliveredSeqno(a3);
}
public void testAdd() {
assertEquals(3, md.size());
md.add(a1, 100, 200, 201);