code: String getOption(String[] options, int index) {
          if ((options != null) && (options.length > index)) {
              return options[index];
          }
          return null;
      }
docs: Returns an option at given index in an array of options, or null
  @param options an array of Strings
  @param index position of the option that is sought
  @return the option or null