void terminate_voyagerproxyagent(String agent_name)

Um einen VoyagerProxyAgent zu terminieren, wird zunächst die Nachricht readyForTermination an den Agenten geschickt, um anzuzeigen, daß er von dem VoyagerAgentManager terminiert wird. Ein Terminierung durch andere Komponenten, z.B. das AgentSystemApplet, ist nicht erlaubt. Nach der Terminierung durch das MASA System wird der Name des Agenten aus dem Voyager Namensverzeichnis in MASA ausgetragen und die Einträge in den Hashtables _agentsVoyagerName und _voyagerProxy gelöscht.