[ref_impl_eiffel] [1227] Missed files from last merge

Revision: 1227
Author: thomas.beale
Log Message: