On 08/28/2012 04:24 PM, Noel Grandin wrote: > The change to Job.java was OK, because 3 lines up we had already checked > the exception field for null, so it was not possible for it to be null > at that point. Ach, of course. Didn't look closely enough. Pushed now, too. Stephan