[ref_impl_eiffel] [1067] Remove an unnecessary file.

Revision: 1067
Author: peter.gummer
Log Message: