[ref_impl_eiffel] [1443] Various changes:

Revision: 1443
Author: thomas.beale
Log Message: