[ref_impl_eiffel] [663] Catch-up - merge revisions 643-662 from TRUNK into specialisation branch.

Revision: 663
Author: thomas.beale

Log Message: