public DefaultBufferPoolConfig( int a_inc, int a_max, int a_ini, int a_size )
public DefaultBufferPoolConfig( String a_name, int a_inc, int a_max, int a_ini, int a_size )
    public DefaultBufferPoolConfig( int a_inc, int a_max, int a_ini,                                     int a_size )    {        m_inc = a_inc ;        m_max = a_max ;        m_ini = a_ini ;        m_size = a_size ;    }