On 17/06/16 15:44, Tobias Hartmann wrote: > what about -Xbatch? OK, I'll see if that works for me, but this thing is super-timing- critical and goes away if I change anything! Thanks, Andrew.