Server class destructor is now "default".