Removed destructor that was declared but had no implementation.
Authored by: delphidabbler 2013-08-01
Parent: [r3236]
Child: [r3238]
