Changed Hudson to Jenkins in .properties