Repair to HashDbManager.addHashDatabase()

Fixed bug introduced in recently improved version of HashDbManager.addHashDatabase(). Inadvertantly dropped "!" operator.