

- For debugging: perform some user-definable action when a certain
  type of exception occurs, e.g.: 
  
    dump stack and exit when java.lang.NullPointerException occurs


  Finding the location where this exception occurs may sometimes be
  problematic, especially if exceptions are handled further down the
  stack, and are not propagated up the stack.


  --> Solution: use 'jdb': catch java.lang.NullPointerException
