} catch (GitAPIException e) {
throw new CoreException(Activator.error(CoreText.AddToIndexOperation_failed, e));
} finally {
for (final RepositoryMapping rm : addCommands.keySet())
rm.fireRepositoryChanged();
monitor.done();
}
}
/* (non-Javadoc)
* @see org.eclipse.egit.core.op.IEGitOperation#getSchedulingRule()