workspace.xml has been edited.