@Contract(value = "_ -> this", mutates = "this")
    @CheckReturnValue
    public ProblemBuilder highlight(ProblemHighlightType problemHighlightType) {
      myHighlightType = problemHighlightType;
      return this;
    }
@Contract(value = "_ -> this", mutates = "this")
    @CheckReturnValue
    public ProblemBuilder highlight(ProblemHighlightType problemHighlightType)