public static void print(final Options options) {
        print(options, new TerminalHelpFormatter());
    }
@Test
    @Ignore
    public void testPrintWidth20DefaultFormatter() {
        final HelpFormatter f = new TerminalHelpFormatter();
        f.setWidth(20);
        TerminalHelpPrinter.print(TerminalOptionsBuilder.options(), f);
    }