Fixes MavenSettingsPreferencePage.setUserSettingLocation (#754)
Provide direct support for Eclipse preferences #753