help.append(lastOptionKey).append(": ")
.append(option.help());
}
if (option.specifiedDefaultValue().equals(
option.unspecifiedDefaultValue())) {
if (option.specifiedDefaultValue().equals(
NULL)) {
help.append("; no default value");
}
else {
help.append("; default: '")