System.err.println("Whitespace processing: "+getTextGranularity(args)+" "+getWhiteSpaceProcessing(args));
}
// get and setup the formatter
Writer out = new OutputStreamWriter(getOutput(args), "utf-8");
DiffXFormatter formatter = getFormatter(args, out);
if (formatter instanceof XMLDiffXFormatter) {
((XMLDiffXFormatter)formatter).declarePrefixMapping(seq1.getPrefixMapping());
((XMLDiffXFormatter)formatter).declarePrefixMapping(seq2.getPrefixMapping());
}
formatter.setConfig(config);
// pre-slicing
SequenceSlicer slicer = new SequenceSlicer(seq1, seq2);
if (slice) {
slicer.slice();