Merge pull request #9444 from Simonx22/remove-duplicate-keys gradle.properties: Remove duplicate property keys
