void list_agent_names()

Sobald der Benutzer ein Agentensystem im Baum des Applets auswählt, sorgt dessen TreeSelectionListener dafür, daß diese Methode aufgerufen wird. Sie stellt mittels der Methode list_agent_names(...) des RegionManagementAgenten die Liste der Agenten für das ausgewählte Agentensystem neu auf.