2019-06-03 - production
10:52	<moritzm>	upgrading maps servers to new Java security release	[production]