Exported eclipse preferences