updated eclipse prefs