private void copyAgent(AID agentID, Location where, String newName) throws IMTPException, NotFoundException {
Agent a = myContainer.acquireLocalAgent(agentID);
if(a == null)
throw new NotFoundException("Clone-Agent failed to find " + agentID);
a.doClone(where, newName);
myContainer.releaseLocalAgent(agentID);
}
// FIXME: adjust principal