if (notify && d.sendClusterUpdate())
Globals.getClusterBroadcast().destroyDestination(d);
Agent agent = Globals.getAgent();
if (agent != null) {
agent.notifyDestinationDestroy(d);
agent.unregisterDestination(d);
}
}
} finally {
d =(Destination)destinationList.remove(uid);