764765766767768769770771772773774
} private void resumedAgent(AID name) throws NotFoundException { MainContainer impl = myContainer.getMain(); if(impl != null) { impl.resumedAgent(name); } } private void exitContainer() { myContainer.shutDown();