Copy of the respective classes in org.eclipse.compare.rangedifferencer in order to avoid circular dependencies.