More cleaning up of Eclipse settings