public @NotNull Presentation withPriority(@NotNull PriorityAction.Priority priority) {
    return new Presentation(name, priority, rangesToHighlight, icon, fixAllOption);
  }
public @NotNull Presentation withPriority(@NotNull PriorityAction.Priority priority)