[checkmk-commits] Make Jenkins' Cppcheck plugin happy again.