some additional xmi files.