code: public int getInt(int key)
      {
          Object value = map.get(key);
          if (!(value instanceof Integer))
          {
              return 0;
          }
          Integer result = (Integer)value;
          return result;
      }
docs: Returns the value of the given option. Returns 0 if the specified
  option is unknown or not an <code>int</code> or
  <code>unsigned int</code> value.
  
  @param key An option identifier
  @return The option value