[ref_impl_eiffel] [509] Revert an accidental commit.

Revision: 509
Author: peter.gummer

Log Message: