ctxt = BTREE_TIMER.time();
Object[] next = null;
while (next == null)
next = BTree.update(btree, ICMP, buffer.keySet(), true, SPORADIC_ABORT);
btree = next;
ctxt.stop();
if (!BTree.isWellFormed(btree, ICMP))
{
System.out.println("ERROR: Not well formed");
throw new AssertionError("Not well formed!");