12721273127412751276127712781279128012811282
Enumeration enumi = listOptions(); while (enumi.hasMoreElements()) { Option option = (Option) enumi.nextElement(); text.append(option.synopsis() + '\n'); text.append(option.description() + '\n'); } System.out.println(text); } }