Fixes #3147: add 'gradle user home' section to gradle preferences page