Build #254 (17.08.2017 00:28:10)

	Changes use HaveStored for HashMap#has, fixes #5 (detail / githubweb)
	Build wurde durch eine SCM-Änderung ausgelöst.
	Revision: 15248fd919aea002d118bc9427fc7b1aa44cb413 refs/remotes/origin/master