Build #1 (May 15, 2020, 5:05:13 PM)

	Branch indexing
	Revision: 5c44910daec742b43aa6d8f26c6dd11bbfb50e9b Repository: https://github.com/eclipse/sprotty-server.git release_0.7.0