[ref_impl_eiffel] [352] Merge revisions 340-351 from BRANCHES/specialisation into TRUNK.

Revision: 352
Author: peter.gummer

Log Message: