Fixed throw specifier for ~database_exception()