// Use human-readable string representation by default.
builder.append(DurationUnit.toString(ms));
} else {
// Use either the specified unit or the property definition's
// base unit.
DurationUnit unit = timeUnit;
if (unit == null) {
unit = pd.getBaseUnit();
}
builder.append(numberFormat.format(unit.fromMilliSeconds(ms)));
builder.append(' ');
builder.append(unit.getShortName());
}
return builder.toMessage();
}