[ref_impl_eiffel] [671] The last revision broke the build on the CruiseControl server.

Revision: 671
Author: peter.gummer

Log Message: