make fields of DefaultSettingsBuilder final#2339

Pankraz76 wants to merge 2 commits into

apache:masterapache/maven:masterfrom

Pankraz76:Parameter-'request'-is-never-used-finalPankraz76/maven:Parameter-'request'-is-never-used-finalCopy head branch name to clipboard