Из репозитория удалён workspace.xml, т.к. он, по идее, содержит пользовательские настройки.