[ref_impl_eiffel] [444] Reverting the attempted fix in revision 443 because it didn't fix the build in EiffelStudio 6.0, and 6.0 doesn't seem to mind the change in ECF version anyway.

Revision: 444
Author: peter.gummer

Log Message: