Jenkins cvs plugin