Some additions to .gitignore added by Eclipse.