Do not include disposed servers in servers list. Fixes #789
Tryes to delete project via shell menu and via Eclipse API.