code: public String optionsToJavadoc(int padding, int refillWidth) {
      StringJoiner b = new StringJoiner(lineSep);
      Scanner s = new Scanner(optionsToHtml(refillWidth - padding - 2));
  
      while (s.hasNextLine()) {
        String line = s.nextLine();
        StringBuilder bb = new StringBuilder();
        bb.append(StringUtils.repeat(" ", padding));
        if (line.trim().equals("")) {
          bb.append("*");
        } else {
          bb.append("* ").append(line);
        }
        b.add(bb);
      }
  
      return b.toString();
    }
docs: Get the HTML documentation for the underlying Options instance, formatted as a Javadoc comment.
  
  @param padding the number of leading spaces to add in the Javadoc output, before "* "
  @param refillWidth the number of columns to fit the text into, by breaking lines
  @return the HTML documentation for the underlying Options instance