[ref_impl_eiffel] [1245] Merge rev 1244 from specialisation to TRUNK.

Revision: 1245
Author: thomas.beale
Log Message: