if (classifier instanceof OptionHandler) {
optionsText.append("\nOptions specific to " + classifier.getClass().getName() + ":\n\n");
Enumeration enu = ((OptionHandler) classifier).listOptions();
while (enu.hasMoreElements()) {
Option option = (Option) enu.nextElement();
optionsText.append(option.synopsis() + '\n');
optionsText.append(option.description() + "\n");
}
}
return optionsText.toString();
}