update eclipse preferences