@NotNull
  public SectionBasedDocStringBuilder startParametersSection() {
    // TODO make default section titles configurable
    return startSection(getDefaultParametersHeader());
  }
@NotNull
  public SectionBasedDocStringBuilder startParametersSection()