Explicit, presumably leaky destructor added to thwart 'clever' destructor generated code that assumes a good programmer.