Fixed CodePro violations, although I don't know how to fix the one about naming threads. Hmm.