3, new TableHeader("Default")).addHeader(4, new TableHeader("Type"));
for (DetailedModuleDefinitionResource.Option o : options) {
if (!showHidden && o.isHidden()) {
continue;
}
final TableRow row = new TableRow();
row.addValue(1, o.getName())
.addValue(2, o.getDescription())
.addValue(3, o.getDefaultValue() == null ? "<none>" : o.getDefaultValue())
.addValue(4, o.getType() == null ? "<unknown>" : o.getType());
table.getRows().add(row);
}