File called workspace.xml got modified?