EMF resource saving fixes; release 0.4.15