Eclipse preference modifed