Delete option.xmi