[ref_impl_eiffel] [576] AWB-74: Merge revisions 351-575 from BRANCHES/specialisation into TRUNK.

Revision: 576
Author: peter.gummer

Log Message: