if (est instanceof OptionHandler) {
specificOptions += "\nEstimator options:\n\n";
Enumeration enumOptions = ((OptionHandler)est).listOptions();
while (enumOptions.hasMoreElements()) {
Option option = (Option) enumOptions.nextElement();
specificOptions += option.synopsis() + '\n'
+ option.description() + "\n";
}
}
String genericOptions = "\nGeneral options:\n\n"