.gitignore modification in eclipse settings