fix build.xml for jenkins again changed src