public Document convert(List<String> args, URI input, Reporter reporter, Document unused) {
assert args != null;
assert input != null;
if (reporter == null)
reporter = new NullReporter();
if (!reporter.isOpen()) {
String pwEncoding = defaultReporterFileEncoding;
try {
PrintWriter pw = new PrintWriter(new BufferedWriter(new OutputStreamWriter(System.err, pwEncoding)));
setReporter(reporter, pw, pwEncoding, false, true);
} catch (Throwable e) {
}
} else {
setReporter(reporter, null, null, false, false);
}
parseArgs(preProcessOptions(args, null), null);
convert(null, input.toString());
return outputDocument;
}