[ref_impl_eiffel] [420] AWB-67: Merge revisions 413, 417 and 418 from BRANCHES/specialisation into the TRUNK.

Revision: 420
Author: peter.gummer

Log Message: