public void changedAgentPrincipal(PlatformEvent ev) {
ContainerID cid = ev.getContainer();
AID name = ev.getAgent();
ChangedAgentOwnership cao = new ChangedAgentOwnership();
cao.setAgent(name);
cao.setWhere(cid);
cao.setFrom(ev.getOldOwnership());
cao.setTo(ev.getNewOwnership());
EventRecord er = new EventRecord(cao, localContainer);
er.setWhen(ev.getTime());
eventQueue.put(er);
}