remove unused files

I think these files are for Eclipse. I don’t use Eclipse and no doubt
they are out of date since they were first added.