public void movedAgent(PlatformEvent ev) {
ContainerID from = ev.getContainer();
ContainerID to = ev.getNewContainer();
AID agentID = ev.getAgent();
MovedAgent ma = new MovedAgent();
ma.setAgent(agentID);
ma.setFrom(from);
ma.setTo(to);
EventRecord er = new EventRecord(ma, localContainer);
er.setWhen(ev.getTime());
eventQueue.put(er);
}