if (startLength < output.length()) {
output.append(' ');
}
}
Severity severity = warning.severity;
if (severity == Severity.FATAL) {
// Treat the fatal error as an error such that we don't display
// both "Fatal:" and "Error:" etc in the error output.
severity = Severity.ERROR;
}
output.append(severity.getDescription());
output.append(':');
output.append(' ');
output.append(warning.message);
if (warning.issue != null) {