Eclipse settings.