fixing some eclipse settings