XWIKI-8714: Allow the customization of the xwiki.properties file with extra settings at build time
Done.