public static void appendHeading(@NotNull StringBuilder buf, String name) {
    buf.append("\n<p class=\"problem-description-group\">").append(name).append("</p>");
  }
public static void appendHeading(@NotNull StringBuilder buf, String name)