Workbench.xmi fix