[ref_impl_eiffel] [1158] Merge revisions 1152-1157 from BRANCHES/ specialisation into the TRUNK.

Revision: 1158
Author: peter.gummer
Log Message: