Added Eclipse preferences