fixed push settings eg eclipse settings