docs: private Option getOption(final String opt) {
          for (Object o : getOptions().getOptions()) {
              Option opto=(Option) o;
              if (opto.getOpt().equals(opt)) {
                  return opto;
              }
          }
          return null;
      }