void valueChanged(ListSelectionEvent e)

Diese Methode wird aktiviert, sobald ein Element der überwachten Tabelle ausgewählt wurde (z.B. mit der Maus). Falls die Wahl ungültig ist, der Auswahlindex also kleiner als 0 ist, werden sämtliche Buttons deaktiviert, die einen korrekt ausgewählten Agenten voraussetzen. Außerdem wird die String-Variable agent_identity auf null gesetzt.
Ist die Wahl jedoch gültig (Auswahlindex > 0), so werden alle Buttons des Agenten-Managements aktiviert und agent_identity der Name des aktuell ausgewählten Agenten zugewiesen. Eine Ausnahme gilt für den Button, der die Migration eines Agenten auslöst. Bevor dieser aktiviert werden kann, wird anhand der Informationen, die aus der Datei ImplementedAgents.txt gewonnen wurden (siehe Abschnitt 3.1 Erstellung der Übersicht ladbarer Agenten ) überprüft, ob es sich bei dem ausgewählten Agenten um einen mobilen Agenten handelt.