[ref_impl_eiffel] [1229] Missed files from last merge.

Revision: 1229
Author: peter.gummer
Log Message: