Add some eclipse settings