code: private void setOption(String opt, List<String> arguments) {
          String[] args = new String[arguments.length() + 1];
          int k = 0;
          args[k++] = opt;
          for (List<String> i = arguments; i.nonEmpty(); i=i.tail) {
              args[k++] = i.head;
          }
          options.append(args);
      }
docs: indicate an option with the specified list of arguments was given.