fix issue 9401 - destructor and nothrow syntax
Merge pull request #1979 from hpohl/9401

fix issues 8347, 8953 and 9401 - destructor and nothrow syntax