protected function getDefaultHandler() { return new ExceptionHandler(new UnexpectedTerminationHandler()); }