2017-09-13 - releng
07:49	<hashar>	Jenkins: removing the Ubuntu JDK from https://integration.wikimedia.org/ci/configureTools/	[releng]