modify eclipse settings