code: public String getOptionString(String optName) {
          Object optValue = m_options.get(optName);
          if (optValue == null) {
              return null;
          }
          return optValue.toString();
      }
docs: Get the value of the option with the given name, if defined, as a String. If the
  option is defined, toString() is called to create the String.
  
  @param optName   Name of option to fetch.
  @return          Option value as a String or null if not defined.