I suggest these project properties (and ~/.gitignore) should probably not be changed in this pull request.