ref_impl_eiffel [296] Merge revision 295 from TRUNK into BRANCHES/gui.

Revision: 296
Author: peter.gummer

Log Message: