Update of eclipse settings.
Update of eclipse settings.