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