Commit 13da562a873f0c68533e97a2990b891ac97d7f0a

Carlos Martín Nieto 2014-12-30T16:48:52

Merge pull request #2785 from jacquesg/coverity Coverity fixes