IndexManager manager = this.indexManager;
if (manager != null
// don't force initialization of workspace scope as we could be shutting down
// (see https://bugs.eclipse.org/bugs/show_bug.cgi?id=93941)
&& this.workspaceScope != null) {
manager.cleanUpIndexes();
}
}
//$FALL-THROUGH$
case ISaveContext.SNAPSHOT : {
// clean up external folders on full save or snapshot