public String dump() { StringBuilder result = new StringBuilder(); result.append(toString()); result.append('\n'); for (final CheckerErrorTrace trace : getTraces()) result.append(trace.dump()); return result.toString(); }