Build #15 (May 29, 2020, 5:20:09 PM)

	Branch indexing
	Revision: fa72fb5134bc57f41db3fdbb0e615ae151f26d8d Repository: https://github.com/eclipse-cognicrypt/CogniCrypt.git PR-378