Doing a push before reinstalling Eclipse.