Activator.safeLogInfo("Finished: Search Re-Indexing"); //$NON-NLS-1$
}
/* Optimize Index if Necessary */
if (migrationResult.isOptimizeIndex() && !progressMonitor.isCanceled())
modelSearch.optimize();
}
} finally {
if (subMonitor != null) //If we perform the migration, the subMonitor is not null. Otherwise we don't show progress.
progressMonitor.done();
}