code: public void processJavadoc() {
      for (Options.OptionInfo oi : options.getOptions()) {
        ClassDoc optDoc = root.classNamed(oi.getDeclaringClass().getName());
        if (optDoc != null) {
          String nameWithUnderscores = oi.longName.replace('-', '_');
          for (FieldDoc fd : optDoc.fields()) {
            if (fd.name().equals(nameWithUnderscores)) {
              // If Javadoc for field is unavailable, then use the @Option
              // description in the documentation.
              if (fd.getRawCommentText().length() == 0) {
                // Input is a string rather than a Javadoc (HTML) comment so we
                // must escape it.
                oi.jdoc = StringEscapeUtils.escapeHtml4(oi.description);
              } else if (formatJavadoc) {
                oi.jdoc = fd.commentText();
              } else {
                oi.jdoc = javadocToHtml(fd);
              }
              break;
            }
          }
        }
        if (oi.baseType.isEnum()) {
          processEnumJavadoc(oi);
        }
      }
    }
docs: Adds Javadoc info to each option in {@code options.getOptions()}.