added eclipse preferences