Jenkins phing plugin