code: public void appendOption(String... option) {
          options = Arrays.copyOf(options, options.length + 1);
          options[options.length - 1] = option;
      }
docs: Append an option to the doclet options.
  
  @param option    The option to append.