adding eclipse preferences