OpenMS/OpenMS — pull request #729 by hroest (2014-03-08 16:31:12+00:00)
Title: Fix/coverity

fixes suggested by Coverity