ref_impl_eiffel [233] Merge changes from eiffel6 branch rev 230 - 231 into TRUNK

Revision: 233
Author: thomas.beale

Log Message: