While this may sound like an unimportant feature request I think it would really be nice if we could have some jenkins pipeline code that is loading the timestamper if is available and if not just running the same block without it.

Can we have such an example?

PS. I was a real pleasure to see the new DLS syntax from version 1.8. Thanks.