@Override
  @Nullable
  public final String getFileCoverageInformationString(@NotNull PsiFile psiFile,
                                                       @NotNull CoverageSuitesBundle currentSuite,
                                                       @NotNull CoverageDataManager manager) {
    for (JavaCoverageEngineExtension extension : JavaCoverageEngineExtension.EP_NAME.getExtensions()) {
      final PackageAnnotator.ClassCoverageInfo info = extension.getSummaryCoverageInfo(this, psiFile);
      if (info != null) {
        return getCoverageInformationString(info, manager.isSubCoverageActive());
      }
    }
    return null;
  }
@Override
  @Nullable
  public final String getFileCoverageInformationString(@NotNull PsiFile psiFile,
                                                       @NotNull CoverageSuitesBundle currentSuite,
                                                       @NotNull CoverageDataManager manager)