*/
private void notifyResourceDeletedListeners( Resource resource )
{
for ( int i = 0; i < m_destructionListeners.size( ); i++ )
{
ResourceDestructionListener resourceDestructionListener =
(ResourceDestructionListener) m_destructionListeners.get( i );
ResourceDestructionEvent event = new ResourceDestructionEvent( resource );
resourceDestructionListener.destructionOccurred( event );
}
}