modified workbench.xmi