Build #20 (Jul 18, 2019, 10:15:40 AM)

	No changes.
	Started by user Tom Jenkinson
	Revision: 03f5ccc3c7c51509859473a443d10aaea2c2a4da refs/remotes/origin/EE4J_8