remove workbench.xmi from repository