[ref_impl_eiffel] [321] Merge revisions 320 from TRUNK into BRANCHES/gui and BRANCHES/specialisation.

Revision: 321
Author: peter.gummer

Log Message: