really? No destructor and empty destructor should be completely the same thing.