[ref_impl_eiffel] [680] Last revision's reversion somehow fixed the build on the CruiseControl server.

Revision: 680
Author: peter.gummer

Log Message: