void destroy()

Dabei handelt es sich ebenfalls um eine Standardmethode eines Applets. Sie wird ausgeführt, wenn das Applet beendet oder neu geladen wird. Sie dient dazu, Ressourcen wieder freizugeben. In diesem Fall wird der PushConsumer , der in init() per create_pushConsumer() erstellt wurde, wieder abgemeldet, indem disconnect_push_consumer(...) des ASManagementAgenten mit der ID-Nummer des PushConsumers aufgerufen wird.