docs: @Override
      protected String[] flatten(@SuppressWarnings("unused") Options options,
              String[] arguments,
              @SuppressWarnings("unused") boolean stopAtNonOption)
      {
          // just echo the arguments
          return arguments;
      }