[ref_impl_eiffel] [443] Revision 442 broke the build on CruiseControl.

Revision: 443
Author: peter.gummer

Log Message: