Build #910 (Dec 10, 2018, 1:11:57 PM)

	No changes.
	Started by user Sven Gothel
	Revision: 99b357956e4fd516ddd051d8a0f478c47faa40b1 origin/master
	Test Result (no failures)
	Java Warnings: 0 warnings from 6 analyses. No warnings since build 570. New zero warnings highscore: no warnings for 2,355 days!

Configurations