MessageHelper updated
Merge branch 'develop' into database

Conflicts:
	Distributed/src/distributed/util/MessageHelper.java
DatabaseManager uses directories from the settingsprovider
Methods to get database stats added