Changed build.xml, hopefully Jenkins takes it