correctly handle an undefined process dead time
Merge branch '8.30' of ssh://dascgitolite@dasc-git.diamond.ac.uk/gda/gda-common.git into 8.30