AbstractTraceFormatter, TextTraceFormatter, HTMLTraceFormatter