141142143144145146147148149150151
for ( String name : subCommandNames() ) { out.println(name) ; } out.decIndent() ; out.flush() ; } @Override protected String getCommandName()
503504505506507508509510511512
for ( Pattern p : patterns ) { p.output(out) ; out.println(); } out.decIndent() ; out.println(")") ; out.flush(); } }