Readded accidentally deleted entries in build.properties.