Build #11 (Jun 10, 2020, 5:20:02 PM)

	Branch indexing
	Revision: a2a0ac85a44dcac4e51bff25b2b2f3713f027936 Repository: https://github.com/eclipse-cognicrypt/CogniCrypt.git feature/extension_points