2018-11-13 - production
09:54	<moritzm>	restarting jenkins on releases1001 to pick up Java security update	[production]