ref_impl_eiffel [201] Merge eiffel6 branch modifications in:

Revision: 201
Author: thomas.beale

Log Message: