Fix eclipse preferences