Fixed: MongoDB manager ignores webprotege.properties
Merge pull request #65 from martijn4evers/mongodb

MongoDBManager ignores webprotege.properties