}
public void refresh(final IRepositoryReader pRepo) {
if (repos.containsKey(pRepo)) {
final String repoName = pRepo.getRootURI().toString();
final RepoTreeModel repoModel = new RepoTreeModel(pRepo);
final RepoTree repoTree = repos.get(pRepo);
repoTree.setModel(repoModel);
repoTree.fetchNode(repoModel.getRoot());
treesCardLayout.show(treesPanel, repoName);
}
else
addRepo(pRepo);
}