[ref_impl_eiffel] [314] Merge revisions 312 and 313 from BRANCHES/gui into TRUNK and BRANCHES/specialisation.

Revision: 314
Author: peter.gummer

Log Message: