Eclipse preferences.