On the distribution of the time average of a jump-diffusion process