Build #2 (Dec 3, 2020, 10:05:57 AM)

	Started by user Jan Koehnlein
	Revision: 2d46423407c610425751553f557788b57cb0456f Repository: https://github.com/eclipse/sprotty-layout.git refs/remotes/origin/master