Revision of Eclipse settings.