[ref_impl_eiffel] [1043] Revision 1039 was applied to the wrong branch.

Revision: 1043
Author: peter.gummer
Log Message: