Fix Eclipse settings.