2017-11-03 - production
11:45	<moritzm>	restarting jenkins on releases* to pick up openjdk security update	[production]