2018-03-19 - production
10:53	<moritzm>	restarting jenkins on releases1001 to pick up Java security update	[production]