ref_impl_eiffel [184] Merge Eiffel 5.7/6 changes from eiffel6 branch

Revision: 184
Author: thomas.beale

Log Message: