[ref_impl_eiffel] [1221] Merged revisions 1189 to 1220 changes from specialisation to TRUNK.

Revision: 1221
Author: thomas.beale
Log Message: