MongoDBManager ignores webprotege.properties

Hello,

When installing Webprotege, I used a MongoDB server that was not installed locally. I changed the settings in webprotege.properties and expected Webprotege to use the remote MongoDB server. However, I still saw Webprotege trying to connect locally.

After some exploring I found the MongoDBManager not getting the settings I had entered in the webprotege.properties file. To resolve that issue I made some changes in the MongoDBManager.

I have tested it, and it works for me on a remote and locally installed MongoDB server.

Kind regards,
Martijn Evers