param input file path xmi extens amend file pathnam guarante xmi extens fix xmi extens persist file xmi persist xmi extens 