und auch die eclipse preferences