public void onDestroy()
{
super.onDestroy();
-
+
+ for (PublisherShape shape : publisherView.shapes)
+ shape.killMe();
+
+ for (SubscriberElement element : subscriberView.elements)
+ element.killMe();
+
if (appDomain != null) {
appDomain.destroy();
appDomain = null;