// Another SimpleOutput is used here, and it uses stdout because at this
// point nothing else will need to be output.
SimpleOutput so = new SimpleOutput();
so.setErrorStream(System.out);
so.error("\n");
so.error("No documents specified.");
end();
} else if (extraArgs.size() > 1) {
fatal("Only a single document can be specified.");
}
final String inputFileName = extraArgs.get(0);