public String toString() {
   @NonNls String s = "DS: finished=" + errorAnalyzingFinished;
   s += "; pass statuses: " + passStati.size() + "; ";
   for (ProgressableTextEditorHighlightingPass passStatus : passStati) {
     s +=
         String.format(
             "(%s %2.0f%% %b)",
             passStatus.getPresentableName(),
             passStatus.getProgress() * 100,
             passStatus.isFinished());
   }
   s += "; error count: " + errorCount.length + ": " + new TIntArrayList(errorCount);
   return s;
 }