Delete eclipse prefs.

Delete eclipse setup stuff from GitHub.