Eclipse auto-config

1. Eclipse added files to WebContent
2. Eclipse insisted on bug-fixing Folder.java
3. I had to update `.gitignore` to ignore Eclipse settings files.