changes in settings (eclipse)