Added eclipse preferences