engine.addDiffListener(StdoutProgressMonitor.INSTANCE);
String charset = getArg(args, "-charset");
if (charset != null) {
try {
engine.setCharsetSelector(new DefaultCharsetSelector(Charset
.forName(charset)));
} catch (Exception e) {
System.err.println("Unrecognized character set '" + charset
+ "'");
}