docs: public Option[] getOptions()
      {
          Collection<Option> processed = options;
  
          // reinitialise array
          Option[] optionsArray = new Option[processed.size()];
  
          // return the array
          return processed.toArray(optionsArray);
      }