ECF Update

EiffelStudio updates to the ECF and void safety.