Adding jenkins.properties