code: @SuppressWarnings("index") // dependent: os[1] is legal when optionLength(os[0])==2
    public void setOptions(String[] @MinLen(1) [] options) {
      String outFilename = null;
      File destDir = null;
      for (int oi = 0; oi < options.length; oi++) {
        String[] os = options[oi];
        String opt = os[0].toLowerCase();
        if (opt.equals("-docfile")) {
          this.docFile = new File(os[1]);
        } else if (opt.equals("-d")) {
          destDir = new File(os[1]);
        } else if (opt.equals("-outfile")) {
          outFilename = os[1];
        } else if (opt.equals("-i")) {
          this.inPlace = true;
        } else if (opt.equals("-format")) {
          if (os[1].equals("javadoc")) {
            setFormatJavadoc(true);
          }
        } else if (opt.equals("-classdoc")) {
          this.includeClassDoc = true;
        } else if (opt.equals("-singledash")) {
          setUseSingleDash(true);
        }
      }
      if (outFilename != null) {
        if (destDir != null) {
          this.outFile = new File(destDir, outFilename);
        } else {
          this.outFile = new File(outFilename);
        }
      }
    }
docs: Set the underlying Options instance for this class based on command-line arguments given by
  RootDoc.options().
  
  @param options the command-line options to parse: a list of 1- or 2-element arrays