Implementation for quick diff display, restore actions and the
org.eclipse.ui.editors.quickDiffReferenceProvider
extension point.