public static void setDocCommentMark(@NotNull FoldRegion region, boolean value) {
    region.putUserData(DOC_COMMENT_MARK, value);
  }
public static void setDocCommentMark(@NotNull FoldRegion region, boolean value)