Class ExceptionCatchRequest is a special kind of
JoinPointRequest which, when inserted into a
JoinPointManager will make the local virtual
machine to stop when it encounters an exception object beeing catch
denoted by this request. A corresponding
ExceptionCatchEvent will be posted to the listeners
registered in the join point manager.
version: $Revision: 1.2 $ author: Angela Nicoara