explicit throw specifier for destructors in VaultException.h