ref_impl_eiffel [186] Merge changes from the trunk into the Eiffel 5.7/Eiffel 6.0 test branch.

Revision: 186
Author: peter.gummer

Log Message: