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