/////////////////////////////////////////////////////////////////
// Private methods to notify platform listeners of significant
// events.
/////////////////////////////////////////////////////////////////
private void fireAddedContainer(ContainerID cid) {
PlatformEvent ev = new PlatformEvent(PlatformEvent.ADDED_CONTAINER, cid);
for(int i = 0; i < platformListeners.size(); i++) {
AgentManager.Listener l = (AgentManager.Listener)platformListeners.get(i);
try {
l.addedContainer(ev);
}