public void resumedAgent(PlatformEvent ev) {
ContainerID cid = ev.getContainer();
AID name = ev.getAgent();
ResumedAgent ra = new ResumedAgent();
ra.setAgent(name);
ra.setWhere(cid);
EventRecord er = new EventRecord(ra, localContainer);
er.setWhen(ev.getTime());
eventQueue.put(er);
}