* the index listeners that an index has been modified.
* @param modifiedIndex the modified index.
*/
public void indexModified(AbstractIndexDescriptor modifiedIndex)
{
IndexModifiedEvent ev = new IndexModifiedEvent(modifiedIndex);
for (IndexModifiedListener listener : indexListeners)
{
listener.indexModified(ev);
}
}