Use version specific jenkins.war