add jenkins.properties