made DifferenceEngine::getRevisionHeader() protected, so we can override it.