modifies eclipse settings