Fixes MavenSettingsPreferencePage.setUserSettingLocation (#754)