@Override
  public void weHaveGotProblems(@NotNull VirtualFile virtualFile, @NotNull List<? extends Problem> problems) {
    ApplicationManager.getApplication().assertIsNonDispatchThread();
    if (problems.isEmpty()) return;
    if (isToBeHighlighted(virtualFile)) {
      weHaveGotNonIgnorableProblems(virtualFile, problems);
    }
  }
@Override
  public void weHaveGotProblems(@NotNull VirtualFile virtualFile, @NotNull List<? extends Problem> problems)