Deleting accidental Eclipse workspace junk