2017-05-11 - production
13:23	<moritzm>	rebooting restbase2005 for update to Linux 4.9 / new openjdk	[production]