with eclipse settings