code: @OptionDesc(longName = "output", shortName = "o",
  			description = "write output to FILE instead of stdout",
  			argumentName = "FILE", argumentType = ArgumentType.STRING)
  	public void setOutputFile(String outputFile) {
  		this.outputFile = outputFile;
  	}
docs: Sets the name of the output file
  @param outputFile the file name or null if output should be written
  to standard out