Re: No more ExitException? <- documentation bug