ref_impl_eiffel [243] Merge eiffel6 235-240 and performance 237 - 240 into TRUNK

Revision: 243
Author: thomas.beale

Log Message: