10.1 Exception Handling in Java Theory