Added a default uncaught exception handler to Paul