Remove Eclipse-specific stuff from gitignore_global