pushed eclipse prefs