//SanityManager.THROWASSERT("Popped non-existent context by id " + theContext + " type " + theContext.getIdName());
}
// now remove it from its id's stack.
idStack = (Stack) ctxTable.get(theContext.getIdName());
boolean wasThere = idStack.removeElement(theContext);
if (SanityManager.DEBUG) {
//if (!wasThere)
// SanityManager.THROWASSERT("Popped non-existent stack by id " + theContext + " type " + theContext.getIdName());
}
}