[ref_impl_eiffel] [1187] Final file deletions from last merge.

Revision: 1187
Author: thomas.beale
Log Message: