updating eclipse prefs