Added build.xml to let Jenkins build