[ref_impl_eiffel] [382] 1.

Revision: 382
Author: peter.gummer

Log Message: