EditableRevision leftEditable;
if (file != null)
leftEditable = new ResourceEditableRevision(rev, file,
runnableContext);
else
leftEditable = new LocationEditableRevision(rev, location,
runnableContext);
// make sure we don't need a round trip later
try {
leftEditable.cacheContents(monitor);
} catch (CoreException e) {