bugfix: exception destructor should not throw
Authored by: tomva 2017-08-31
Parent: [r65]
Child: [r67]