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

Revision: 207
Author: peter.gummer

Log Message: