}
}
if (ins != null) {
Properties verProps = new Properties();
verProps.load(ins);
ResourceHistoryView view = PlatformUtils.getResourceHistoryView();
if (view != null) {
view.setEntries(repositoryLoc, fullPath, verProps);
}
}
} catch (Exception e) {
Activator.getDefault().displayError(IStatus.ERROR, e.getMessage(), e, true);
} finally {