ref_impl_eiffel [273] Merge revision 269-272 changes from BRANCHES/specialisation into TRUNK and BRANCHES/gui.

Revision: 273
Author: peter.gummer

Log Message: