Ignoring workbench.xmi.