public String toString(DetailLevel detailLevel) {
StringBuilder builder = new StringBuilder();
if (!stillWorking && detailLevel == DetailLevel.BASIC) {
builder.append(" DONE");
}
for (Key key : keys()) {
Stat stat = stat(key);
if (detailLevel.ordinal() >= stat.detailLevel().ordinal()) {
builder.append(key.shortName() != null ? key.shortName() + ":" : "").append(stat);
}
}
return name + (builder.length() > 0 ? ":" + builder : "");
}
