Pushed eclipse settings