[ref_impl_eiffel] [725] Remove a mapping that was added to adl_workbench.ecf in revision 721, apparently by accident.

Revision: 725
Author: peter.gummer

Log Message: