void destroy()

Auch destroy() ist eine Standardmethode der Klasse Applet. Sie wird ausgeführt, wenn das Applet beendet oder neu geladen wird, und dient dazu, Ressourcen wieder freizugeben. In diesem Fall wird der PushConsumer , der in init() per create_pushConsumer() erstellt wurde, wieder beim ASManagementAgenten abgemeldet, indem dessen Methode disconnect_push_consumer(...) mit der ID-Nummer des PushConsumers aufgerufen wird.