Issue #2: Added platform-dependent throw specifiers to the BackendException classes