build.properties.jenkins