add workbench.xmi