@NotNull
  public TagBasedDocStringBuilder addSummary(@NotNull String summary) {
    return addLine(summary).addLine("");
  }
@NotNull
  public TagBasedDocStringBuilder addSummary(@NotNull String summary)