static methods for FormattingDifferencer