private int getMaxFileColonLineNumLength(final @NotNull File inspectionResultData,
                                           final @NotNull InspectionToolWrapper toolWrapper,
                                           final @NotNull List problems) {
    int maxFileColonLineLength = 0;
    for (Object problem : problems) {
      final Element fileElement = ((Element)problem).getChild(FILE_ELEMENT);
      final Element lineElement = ((Element)problem).getChild(LINE_ELEMENT);

      final String filePath = getPath(fileElement);
      // skip suppressed results
      if (resultsIgnored(inspectionResultData, toolWrapper)) {
        continue;
      }

      maxFileColonLineLength = Math.max(maxFileColonLineLength, filePath.length() + 1 + lineElement.getText().length());
    }
    return maxFileColonLineLength;
  }
private int getMaxFileColonLineNumLength(final @NotNull File inspectionResultData,
                                           final @NotNull InspectionToolWrapper toolWrapper,
                                           final @NotNull List problems)