code: public String get(String key)
  	{
  		String ret = getValueFromOptions(key, StringOption.class);
  		if (ret == null && options.containsKey(key))
  			ret = options.get(key).toString();
  		return ret;
  	}
docs: <p>
  Returns the given option value as a String.
  </p>
  
  @param key
  the option name.