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