Eclipse clean up

some eclipse settings leftovers that don't belong into the git repo. gitignore is already taking care of them