public void frozenAgent(PlatformEvent ev) {
ContainerID cid = ev.getContainer();
AID name = ev.getAgent();
ContainerID bufferContainer = ev.getNewContainer();
FrozenAgent fa = new FrozenAgent();
fa.setAgent(name);
fa.setWhere(cid);
fa.setBufferContainer(bufferContainer);
EventRecord er = new EventRecord(fa, localContainer);
er.setWhen(ev.getTime());
eventQueue.put(er);
}