232233234235236237238239240241242
if (isOutFileOption() && isOutputStdout()) { optionsBuilder.toFile(false); } if (this.safe) { optionsBuilder.safe(SafeMode.SAFE); } if (this.noHeaderFooter) { optionsBuilder.headerFooter(false); }