2016-02-03 - production
10:48	<moritzm>	depooling restbase1001 for kernel/Java update	[production]