Deal with workspace.xml once and for all.