destructor Destroy; override;

This is Destroy, a member of class TWinControlTrap.