Corrected the Coverity configuration.
Merged the latest from the 'master' branch.