[ref_impl_eiffel] [888] final renaming operation

Revision: 888
Author: thomas.beale

Log Message: