Patch Set 1:

I think I prefer Robin's proposal in change Ifb31dc38ea673b096869437b03e3c738fa89a07c to use JGit's git timestamp formatter which supports all the standard git timestamp formats so that we can later let the user choose his preferred format