Committing workbench.xmi