[ref_impl_eiffel] [1315] Fix compilation errors caused by the last four revisions.

Revision: 1315
Author: peter.gummer
Log Message: