Exception Handling and Object-Oriented Programming: Towards a Synthesis