update eclipse prefs