@Deprecated
  public void setHighlightType(@NotNull ProblemHighlightType highlightType) {
    myHighlightType = highlightType;
  }
@Deprecated
  public void setHighlightType(@NotNull ProblemHighlightType highlightType)