[ref_impl_eiffel] [1228] Missed files from last merge

Revision: 1228
Author: thomas.beale
Log Message: