Editing build.xml for Jenkins (not finished)