add some Eclipse prefs