ref_impl_eiffel [306] Merge revision 305 from BRANCHES/gui into TRUNK and BRANCHES/specialisation (AWB-24).

Revision: 306
Author: peter.gummer

Log Message: