Add destructor and make Server members protected