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

Revision: 218
Author: peter.gummer

Log Message: