public int getInt(int key)
    {
        Object value = map.get(key);
        if (!(value instanceof Integer))
        {
            return 0;
        }
        Integer result = (Integer)value;
        return result;
    }
public int getInt ( int key ) { Object value = map . get ( key ) ; if ( ! ( value instanceof Integer ) ) { return 0 ; } Integer result = ( Integer ) value ; return result ; }
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