[ref_impl_eiffel] [1222] Second attempt at merge by manual means using 'export' from specialisation into TRUNK work area.

Revision: 1222
Author: thomas.beale
Log Message: