getRepositoryName(repo));
this.setName(name);
final GarbageCollectOperation op = new GarbageCollectOperation(
repo);
try {
op.execute(monitor);
} catch (CoreException e) {
Activator.logError(MessageFormat.format(
UIText.GarbageCollectCommand_failed, repo), e);
}
}