Revert "Delete project.properties"

This reverts commit eb2ea29ca8a30cd74c6e197f683e331f77f3ac78.