diff --git a/jenkins/jenkins.war b/jenkins/jenkins.war new file mode 100644 index 0000000000000000000000000000000000000000..b67da6141ed92c3e5fb9ffa3b942423226ae626b Binary files /dev/null and b/jenkins/jenkins.war differ