Refactoring Smack-related code for exception-based error handling