Nuevo post: Borrar el historial de workspaces de Eclipse