Fixed bug introduced in recently improved version of HashDbManager.addHashDatabase()
Merge pull request #376 from rcordovano/develop-rc1

Repair to HashDbManager.addHashDatabase()