private static DiffXFormatter getFormatter(String[] args, Writer out) throws IOException {
String formatArg = CommandLine.getParameter("-F", args);
if (formatArg == null || "smart".equals(formatArg))
return new SmartXMLFormatter(out);
else if ("convenient".equals(formatArg))
return new ConvenientXMLFormatter(out);
else if ("basic".equals(formatArg))
return new BasicXMLFormatter(out);
else if ("strict".equals(formatArg))
return new StrictXMLFormatter(out);
else if ("short".equals(formatArg))