Minor refactoring.
Removed AbstractDifferenceEngine.
DifferenceEnginImpl removed, old DifferenceEngine interface removed,
DifferenceEngineContract removed, DefaultDifferenceEngine added.