some eclipse preferences