NOJIRA: Remove Eclipse settings files that should not have been checked in.
NOJIRA: Add some Eclipse files to .gitignore.