@Override
  default @NotNull List<IntentionAction> getOptions() {
    return Collections.singletonList(new FixAllHighlightingProblems(this));
  }
@Override
  default @NotNull List<IntentionAction> getOptions()