added new patch files for eventb.ui