Implements eclipse preferences