void get_impl_agents()

Diese Methode benutzt CommonAppletHelpers.retrieve_implemented_agents_file(...) , um vom Webserver-Agenten die Datei ImplementedAgents.txt zu erhalten. Die Informationen in dieser Datei (Agentennamen, Java-Package und Agententyp) werden in drei Felder kopiert, so daß sie anderen Methoden des Applets, insbesondere dem ActionListener des create agent Buttons, zur Verfügung stehen. Das Applet liest die Datei nicht direkt aus, da es einmal aufgrund der Sicherheitsrestriktionen dazu nicht berechtigt ist und zum anderen die Java-Properties des Agentensystems nicht besitzt, in denen u.a. die Position der Datei im Filesystem beschrieben wird.