void migrate_agent()

Diese Methode wird aufgerufen, wenn der entsprechende Menüpunkt des Kontextmenüs eines Agenten der Agentenliste ausgewählt wird. Es wird zuerst mit Hilfe der Methode show_migrate_menu(...) der Klasse CommonAppletHelpers ein Dialogfenster zur Auswahl des Zielagentensystems erzeugt. Dann wird mittels der Methode migrate_agent(...) des RegionManagementAgenten der Agent auf das neue Agentensystem transferiert. Der Umweg über den RegionManagementAgenten muß beschritten werden, weil auch Agenten ,,fremder`` Agentensysteme betroffen sein können.