2017-05-16 - production
14:06	<moritzm>	rebooting restbase2007 for update to Linux 4.9 and to pick up openjdk security updates	[production]