[ref_impl_eiffel] [1410] Merge revision 1409 from BRANCHES/adl1.5 into the TRUNK.

Revision: 1410
Author: peter.gummer
Log Message: