[ref_impl_eiffel] [649] Merge revisions 641 to 648 from the TRUNK into BRANCHES/specialisation.

Revision: 649
Author: peter.gummer

Log Message: